Search results for "quiescence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Aaron W. Keen, Ronald A. Olsson	Toward a Definition of and Linguistic Support for Partial Quiescence.	Euro-Par	2006	DBLP DOI BibTeX RDF
89	Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama	Quiescence Detection in a Distributed KLIC Implementation.	Euro-Par	1995	DBLP DOI BibTeX RDF	quiescence detection, distributed implementation, weighted reference counting, termination detection, concurrent logic programming
72	Satyendra P. Rana	An Efficient Algorithm for Quiescence Detection in a Distributed System.	ICCI	1991	DBLP DOI BibTeX RDF	quiescence detection, distributed algorithms, asynchronous communication
63	Wim H. Hesselink	Eternity variables to prove simulation of specifications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping
61	Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	Implementing MSC Tests with Quiescence Observation.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	sound tests, test implementations, fault detection power, Message Sequence Charts, Distributed testing
61	Toshimitsu Masuzawa, Sébastien Tixeuil	Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs.	SIROCCO	2008	DBLP DOI BibTeX RDF
61	Alexandra Desmoulin, César Viho	Quiescence Management Improves Interoperability Testing.	TestCom	2005	DBLP DOI BibTeX RDF
52	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	Crash-Quiescent Failure Detection.	DISC	2009	DBLP DOI BibTeX RDF
52	Julien Schmaltz, Jan Tretmans	On Conformance Testing for Timed Systems.	FORMATS	2008	DBLP DOI BibTeX RDF
52	Michael Elkin	A near-optimal distributed fully dynamic algorithm for maintaining sparse spanners.	PODC	2007	DBLP DOI BibTeX RDF	distributed dynamic algorithms, spanners
52	William E. Walsh, Michael P. Wellman	A Market Protocol for Decentralized Task Allocation.	ICMAS	1998	DBLP DOI BibTeX RDF
45	Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri	Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies.	DISC	2004	DBLP DOI BibTeX RDF	quiescence detection, optimal message complexity, optimal detection latency, termination detection
44	Steven Y. Ko, Imranul Hoque, Indranil Gupta	Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols.	SRDS	2008	DBLP DOI BibTeX RDF
44	Yves Vandewoude, Peter Ebraert, Yolande Berbers, Theo D'Hondt	Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Application-aware adaptation, components, Distributed objects, Distributed objects, containers, Componentware
44	Yves Vandewoude, Peter Ebraert, Yolande Berbers, Theo D'Hondt	An alternative to Quiescence: Tranquility.	ICSM	2006	DBLP DOI BibTeX RDF
44	K. Mani Chandy, Jayadev Misra	An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
34	Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff 0001	Veracity radius: capturing the locality of distributed computations.	PODC	2006	DBLP DOI BibTeX RDF	locality, aggregation
34	Haibo Chen 0001, Rong Chen 0001, Fengzhe Zhang, Binyu Zang, Pen-Chung Yew	Live updating operating systems using virtualization.	VEE	2006	DBLP DOI BibTeX RDF	live update, operating system, virtualization, availability
34	Laura Brandán Briones, Ed Brinksma	Testing Real-Time Multi Input-Output Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
34	William Rand, Rick L. Riolo	The problem with a self-adaptative mutation rate in some environments: a case study using the shaky ladder hyperplane-defined functions.	GECCO	2005	DBLP DOI BibTeX RDF	hyperplane-defined functions, genetic algorithms, self-adaptation, dynamic environments
34	Laura Brandán Briones, Ed Brinksma	A Test Generation Framework for quiescent Real-Time Systems.	FATES	2004	DBLP DOI BibTeX RDF
34	Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo	Testing Transition Systems with Input and Output Testers.	TestCom	2003	DBLP DOI BibTeX RDF	input/output transition system, test generation, fault model, conformance testing
34	Paolo Boldi, Sebastiano Vigna	Universal dynamic synchronous self-stabilization.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks
28	François Bonnet 0001, Paul D. Ezhilchelvan, Einar Vollset	Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts.	SAC	2006	DBLP DOI BibTeX RDF	crash-tolerance, quiescence, simulations, ad-hoc networking, consensus, group communication
27	Charith N. Cooray, Ana Carvalho, Gerald K. Cooray	Noise induced quiescence of epileptic spike generation in patients with epilepsy.	J. Comput. Neurosci.	2021	DBLP DOI BibTeX RDF
27	Florian Rommel, Christian Dietrich 0001, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller 0009, Olaf Spinczyk, Daniel Lohmann	From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes.	OSDI	2020	DBLP BibTeX RDF
27	Zijian Liu, Jing Chen, Jianhua Pang, Ping Bi, Shigui Ruan	Modeling and Analysis of a Nonlinear Age-Structured Model for Tumor Cell Populations with Quiescence.	J. Nonlinear Sci.	2018	DBLP DOI BibTeX RDF
27	Carlos Carrizales-Velazquez, Adolfo Rudolf-Navarro, Israel Reyes-Ramírez, Alejandro Muñoz-Diosdado, Lev Guzmán-Vargas, Fernando Angulo-Brown	Multifractality of Pseudo-Velocities and Seismic Quiescence Associated with the Tehuantepec M8.2 EQ.	Entropy	2018	DBLP DOI BibTeX RDF
27	Anaïs Durand, Shay Kutten	Message-Efficient Self-stabilizing Transformer Using Snap-Stabilizing Quiescence Detection.	SIROCCO	2018	DBLP DOI BibTeX RDF
27	Carson A. Wick, Omer T. Inan, James H. McClellan, Srini Tridandapani	Seismocardiography-Based Detection of Cardiac Quiescence.	IEEE Trans. Biomed. Eng.	2015	DBLP DOI BibTeX RDF
27	Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon	Active diagnosis with observable quiescence.	CDC	2015	DBLP DOI BibTeX RDF
27	Tomás Alarcón, Philipp Getto, Yukihiko Nakata	Stability Analysis of a Renewal Equation for Cell Population Dynamics with Quiescence.	SIAM J. Appl. Math.	2014	DBLP DOI BibTeX RDF
27	Carson A. Wick, James H. McClellan, Omer T. Inan, Srini Tridandapani	Seismocardiography-based detection of cardiac quiescence for cardiac computed tomography angiography.	EMBC	2014	DBLP DOI BibTeX RDF
27	Yujie Liu, Victor Luchangco, Michael F. Spear	Mindicators: A Scalable Approach to Quiescence.	ICDCS	2013	DBLP DOI BibTeX RDF
27	Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga	Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation	MBT	2012	DBLP DOI BibTeX RDF
27	Carson A. Wick, James H. McClellan, Lakshminarayan Ravichandran, Srini Tridandapani	An active contour based method for analyzing cardiac quiescence from echocardiography.	EMBC	2012	DBLP DOI BibTeX RDF
27	Christopher M. Hayden, Karla Saur, Michael Hicks 0001, Jeffrey S. Foster	A study of dynamic software update quiescence for multithreaded programs.	HotSWUp	2012	DBLP DOI BibTeX RDF
27	Jason B. Ernst, Joseph Alexander Brown	Co-existence of Evolutionary Mixed-Bias Scheduling with Quiescence and IEEE 802.11 DCF for Wireless Mesh Networks.	AINA Workshops	2012	DBLP DOI BibTeX RDF
27	Toshimitsu Masuzawa, Sébastien Tixeuil	Quiescence of self-stabilizing gossiping among mobile agents in graphs.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
27	Ingmar Glauche, Kateri Moore, Lars Thielecke, Katrin Horn, Markus Loeffler, Ingo Roeder	Stem Cell Proliferation and Quiescence - Two Sides of the Same Coin.	PLoS Comput. Biol.	2009	DBLP DOI BibTeX RDF
27	Sushmita Roy, Terran Lane, Margaret Werner-Washburne, Diego Martínez	Inference of Functional Networks of Condition-Specific Response--A Case Study Of Quiescence In Yeast.	Pacific Symposium on Biocomputing	2009	DBLP BibTeX RDF
27	Petros Pissias, Geoff Coulson	Framework for quiescence management in support of reconfigurable multi-threaded component-based systems.	IET Softw.	2008	DBLP DOI BibTeX RDF
27	Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew J. Gallagher, Appu S. Goundan, Aaron W. Keen, Ronald A. Olsson	A definition of and linguistic support for partial quiescence.	Concurr. Comput. Pract. Exp.	2008	DBLP DOI BibTeX RDF
27	Toshimitsu Masuzawa, Sébastien Tixeuil	Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs	CoRR	2008	DBLP BibTeX RDF
27	Ronald F. DeMara, Yili Tseng, Abdel Ejnioui	Tiered Algorithm for Distributed Process Quiescence and Termination Detection.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Parallel Processing, Synchronization, Distributed Programming, Multitasking, Distributed Architectures
27	Alessandro Bertuzzi, Antonio Fasano 0002, L. Filidoro, Alberto Gandolfi, Carmela Sinisgalli	Dynamics of tumour cords following changes in oxygen availability: A model including a delayed exit from quiescence.	Math. Comput. Model.	2005	DBLP DOI BibTeX RDF
27	Alexandra Desmoulin, César Viho	Formalizing Interoperability Testing: Quiescence Management and Test Generation.	FORTE	2005	DBLP DOI BibTeX RDF
27	Michael P. Wellman, William E. Walsh	Distributed Quiescence Detection in Multiagent Negotiation.	ICMAS	2000	DBLP DOI BibTeX RDF
27	Roberto Segala	Quiescence, Fairness, Testing, and the Notion of Implementation.	Inf. Comput.	1997	DBLP DOI BibTeX RDF
27	Jan Tretmans	Repetitive Quiescence in Implementation and Testing.	FBT	1997	DBLP BibTeX RDF
27	Jan Tretmans	Test Generation with Inputs, Outputs and Repetitive Quiescence.	Softw. Concepts Tools	1996	DBLP BibTeX RDF
27	Jan Tretmans	Test Generation with Inputs, Outputs, and Quiescence.	TACAS	1996	DBLP DOI BibTeX RDF
27	Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama	Quiescence Detection in a Distributed KLIC Implementation.	Workshop on Design and Impl. of Parallel Logic Programming Systems	1994	DBLP BibTeX RDF
27	Roberto Segala	Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
27	Ingo Althöfer	Sören W. Perrey: Mathematische Methoden der Künstlichen Intelligenz: Zur Quiescence-Suche in Spielbäumen.	J. Int. Comput. Games Assoc.	1991	DBLP DOI BibTeX RDF
27	Donald F. Beal	A Generalised Quiescence Search Algorithm.	Artif. Intell.	1990	DBLP DOI BibTeX RDF
27	Friedemann Mattern	Global Quiescence Detection Based on Credit Distribution and Recovery.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
27	Günther Schrüfer	A Strategic Quiescence Search.	J. Int. Comput. Games Assoc.	1989	DBLP DOI BibTeX RDF
27	Donald F. Beal	Mating Sequences in the Quiescence Search.	J. Int. Comput. Games Assoc.	1984	DBLP DOI BibTeX RDF
17	Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001	Compositional Verification of Input-Output Conformance via CSP Refinement Checking.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Martin Weiglhofer, Franz Wotawa	Asynchronous Input-Output Conformance Testing.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
17	Marifi Güler	Detailed numerical investigation of the dissipative stochastic mechanics based neuron model.	J. Comput. Neurosci.	2008	DBLP DOI BibTeX RDF	Ion channel noise, Stochastic ion channels, Neuronal dynamics, Dissipative stochastic mechanics, Rose-Hindmarsh model
17	Mark Thober, J. Aaron Pendergrass, C. Durward McDonell	Improving coherency of runtime integrity measurement.	STC	2008	DBLP DOI BibTeX RDF	LKIM, coherency, XEN, copy-on-write, integrity measurement
17	Sara Tucci Piergiovanni, Roberto Baldoni	Connectivity in Eventually Quiescent Dynamic Distributed Systems.	LADC	2007	DBLP DOI BibTeX RDF
17	Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster	Efficient Dynamic Aggregation.	DISC	2006	DBLP DOI BibTeX RDF
17	Georg Ringwelski	An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	dynamic and distributed constraint processing, constraint propagation
17	Henrik C. Bohnenkamp, Axel Belinfante	Timed Testing with TorX.	FM	2005	DBLP DOI BibTeX RDF	Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
17	Vijay A. Saraswat, Radha Jagadeesan	Concurrent Clustered Programming.	CONCUR	2005	DBLP DOI BibTeX RDF
17	Maurice J. Chacron, André Longtin, Leonard Maler	To Burst or Not to Burst?	J. Comput. Neurosci.	2004	DBLP DOI BibTeX RDF	electroreceptor, information theory, feature detection, neuron, burst
17	Xin Zhang 0002, Lingli Ding, Elke A. Rundensteiner	Parallel multisource view maintenance.	VLDB J.	2004	DBLP DOI BibTeX RDF	Parallel view maintenance, Concurrent data updates, Performance evaluation, Data warehousing
17	Peter Achten	The Feasibility of Interactively Probing Quiescent Properties of GUI Applications.	IFL	2004	DBLP DOI BibTeX RDF
17	Ed Brinksma	Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems.	ACSD	2004	DBLP DOI BibTeX RDF
17	Paolo Boldi, Sebastiano Vigna	Holographic Trees.	LATIN	2002	DBLP DOI BibTeX RDF
17	Xin Zhang 0002, Lingli Ding, Elke A. Rundensteiner	PVM: Parallel View Maintenance under Concurrent Data Updates of Distributed Sources.	DaWaK	2001	DBLP DOI BibTeX RDF
17	Michel Raynal	Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.	PaCT	2001	DBLP DOI BibTeX RDF	Fair Lossy Channels, Quiescent Protocol, Uniform Reliable Broadcast, Fault-Tolerance, Oracles, Failure Detectors, Asynchronous Distributed Systems, Process Crashes
17	Kenneth L. Shepard, Dae-Jin Kim	Body-voltage estimation in digital PD-SOI circuits and its application to static timing analysis.	ICCAD	1999	DBLP DOI BibTeX RDF