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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 655-665, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
89 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 539-551, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 532-534, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
quiescence detection, distributed algorithms, asynchronous communication |
63 | Wim H. Hesselink |
Eternity variables to prove simulation of specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 175-201, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 49-65, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity, 15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, Proceedings, pp. 247-261, 2008, Springer, 978-3-540-69326-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Alexandra Desmoulin, César Viho |
Quiescence Management Improves Interoperability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 365-379, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Srikanth Sastry, Scott M. Pike, Jennifer L. Welch |
Crash-Quiescent Failure Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 326-340, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Julien Schmaltz, Jan Tretmans |
On Conformance Testing for Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
52 | Michael Elkin |
A near-optimal distributed fully dynamic algorithm for maintaining sparse spanners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 185-194, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distributed dynamic algorithms, spanners |
52 | William E. Walsh, Michael P. Wellman |
A Market Protocol for Decentralized Task Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, pp. 325-332, 1998, IEEE Computer Society, 0-8186-8500-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
45 | Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri |
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, pp. 290-304, 2004, Springer, 3-540-23306-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008, pp. 259-268, 2008, IEEE Computer Society, 978-0-7695-3410-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(12), pp. 856-868, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 73-82, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | K. Mani Chandy, Jayadev Misra |
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(3), pp. 326-343, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 102-111, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006, pp. 35-44, 2006, ACM, 978-1-59593-332-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 264-279, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1493-1500, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, pp. 64-78, 2004, Springer, 3-540-25109-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo |
Testing Transition Systems with Input and Output Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 129-145, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(3), pp. 137-153, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 670-674, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 49(1), pp. 57-67, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020., pp. 651-666, 2020, USENIX Association, 978-1-939133-19-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Nonlinear Sci. ![In: J. Nonlinear Sci. 28(5), pp. 1763-1791, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(12), pp. 961, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Anaïs Durand, Shay Kutten |
Message-Efficient Self-stabilizing Transformer Using Snap-Stabilizing Quiescence Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: Structural Information and Communication Complexity - 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers, pp. 20-24, 2018, Springer, 978-3-030-01324-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Carson A. Wick, Omer T. Inan, James H. McClellan, Srini Tridandapani |
Seismocardiography-Based Detection of Cardiac Quiescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 62(8), pp. 2025-2032, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon |
Active diagnosis with observable quiescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 1663-1668, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 74(4), pp. 1266-1297, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, pp. 6080-6084, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Yujie Liu, Victor Luchangco, Michael F. Spear |
Mindicators: A Scalable Approach to Quiescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA, pp. 206-215, 2013, IEEE Computer Society, 978-0-7695-5000-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012., pp. 73-87, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 4071-4074, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSWUp ![In: 4th International Workshop on Hot Topics in Software Upgrades, HotSWUp 2012, Zurich, Switzerland, June 3, 2012, pp. 6-10, 2012, IEEE Computer Society, 978-1-4673-1765-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 26th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26-29, 2012, pp. 678-683, 2012, IEEE Computer Society, 978-1-4673-0867-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Toshimitsu Masuzawa, Sébastien Tixeuil |
Quiescence of self-stabilizing gossiping among mobile agents in graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(14-15), pp. 1567-1582, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 5(7), 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2009: Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, 5-9 January 2009, pp. 51-62, 2009, 978-981-283-692-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Petros Pissias, Geoff Coulson |
Framework for quiescence management in support of reconfigurable multi-threaded component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 2(4), pp. 348-361, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 20(8), pp. 969-995, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Toshimitsu Masuzawa, Sébastien Tixeuil |
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0803.0189, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Ronald F. DeMara, Yili Tseng, Abdel Ejnioui |
Tiered Algorithm for Distributed Process Quiescence and Termination Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(11), pp. 1529-1538, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 41(10), pp. 1119-1135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Alexandra Desmoulin, César Viho |
Formalizing Interoperability Testing: Quiescence Management and Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 533-537, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Michael P. Wellman, William E. Walsh |
Distributed Quiescence Detection in Multiagent Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000, pp. 317-324, 2000, IEEE Computer Society, 0-7695-0625-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 138(2), pp. 194-210, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Jan Tretmans |
Repetitive Quiescence in Implementation and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997, pp. 23-37, 1997, GMD-Forschungszentrum Informationstechnik GmbH, 3-88457-315-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
27 | Jan Tretmans |
Test Generation with Inputs, Outputs and Repetitive Quiescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 17(3), pp. 103-120, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
27 | Jan Tretmans |
Test Generation with Inputs, Outputs, and Quiescence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings, pp. 127-146, 1996, Springer, 3-540-61042-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama |
Quiescence Detection in a Distributed KLIC Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Design and Impl. of Parallel Logic Programming Systems ![In: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994, pp. 93-102, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
27 | Roberto Segala |
Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 324-338, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Int. Comput. Games Assoc. ![In: J. Int. Comput. Games Assoc. 14(2), pp. 84, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Donald F. Beal |
A Generalised Quiescence Search Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 43(1), pp. 85-98, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Friedemann Mattern |
Global Quiescence Detection Based on Credit Distribution and Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 30(4), pp. 195-200, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Günther Schrüfer |
A Strategic Quiescence Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Int. Comput. Games Assoc. ![In: J. Int. Comput. Games Assoc. 12(1), pp. 3-9, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Donald F. Beal |
Mating Sequences in the Quiescence Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Int. Comput. Games Assoc. ![In: J. Int. Comput. Games Assoc. 7(3), pp. 133-137, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001 |
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 20-48, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Martin Weiglhofer, Franz Wotawa |
Asynchronous Input-Output Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 154-159, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Marifi Güler |
Detailed numerical investigation of the dissipative stochastic mechanics based neuron model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 25(2), pp. 211-227, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STC ![In: Proceedings of the 3rd ACM Workshop on Scalable Trusted Computing, STC 2008, Alexandria, VA, USA, October 31, 2008, pp. 51-60, 2008, ACM, 978-1-60558-295-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 38-56, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster |
Efficient Dynamic Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 90-104, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Georg Ringwelski |
An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 24(3-4), pp. 431-454, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
dynamic and distributed constraint processing, constraint propagation |
17 | Henrik C. Bohnenkamp, Axel Belinfante |
Timed Testing with TorX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 173-188, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 353-367, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Maurice J. Chacron, André Longtin, Leonard Maler |
To Burst or Not to Burst? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 17(2), pp. 127-136, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 13(1), pp. 22-48, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers, pp. 17-34, 2004, Springer, 3-540-26094-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ed Brinksma |
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada, pp. 3-6, 2004, IEEE Computer Society, 0-7695-2077-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Paolo Boldi, Sebastiano Vigna |
Holographic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings, pp. 465-478, 2002, Springer, 3-540-43400-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, Third International Conference, DaWaK 2001, Munich, Germany, September 5-7, 2001, Proceedings, pp. 230-239, 2001, Springer, 3-540-42553-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Michel Raynal |
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings, pp. 98-111, 2001, Springer, 3-540-42522-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 531-538, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|