Search results for "asynchronous message passing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Doug Goldson	Extending the theory of Owicki and Gries with asynchronous message passing.	APSEC	2003	DBLP DOI BibTeX RDF
2	Dariusz R. Kowalski, Mariam Momenzadeh, Alexander A. Shvartsman	Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	fault-tolerance, communication, Distributed algorithm, quorums, work
2	Yu Lei, Kuo-Chung Tai	Efficient Reachability Testing of Asynchronous Message-Passing Programs.	ICECCS	2002	DBLP DOI BibTeX RDF
2	Yu Lei, Kuo-Chung Tai	Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.	ISSRE	2002	DBLP DOI BibTeX RDF
2	Manfred Broy, Radu Grosu, Cornel Klein	Reconciling Real-Time with Asynchronous Message Passing.	FME	1997	DBLP DOI BibTeX RDF
2	Olivier Flauzac, Vincent Villain	An Implementable Dynamic Automatic Self-Stabilizing Protocol.	ISPAN	1997	DBLP DOI BibTeX RDF	automatic self-stabilization, fully asynchronous message passing system, superimposition, fault-tolerance, distributed systems
2	Xiaodong Wang, Vwani P. Roychowdhury	Minimizing communication overhead for matrix inversion algorithms on hypercubes. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	matrix inversion algorithms, Gauss-Jordan inversion algorithms, parallel inversion algorithms, MIMD hypercube, parallel algorithms, performance analysis, hypercubes, communication complexity, hypercube networks, minimisation, data partitioning, communication overhead, matrix inversion, interrupt handling, asynchronous message passing
1	Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy	Modeling Asynchronous Message Passing for C Programs.	VMCAI	2012	DBLP DOI BibTeX RDF
1	Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo	Byzantine consensus in asynchronous message-passing systems: a survey.	IJCCBS	2011	DBLP DOI BibTeX RDF
1	Maria Christakis, Konstantinos F. Sagonas	Detection of Asynchronous Message Passing Errors Using Static Analysis.	PADL	2011	DBLP DOI BibTeX RDF
1	François Bonnet, Michel Raynal	A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	Dariusz R. Kowalski, Mariam Momenzadeh, Alexander A. Shvartsman	Emulating shared-memory Do-All algorithms in asynchronous message-passing systems.	J. Parallel Distrib. Comput.	2010	DBLP DOI BibTeX RDF
1	Bent Bruun Kristensen	Abstraction from Collaboration between Agents using Asynchronous Message-passing.	ICEIS	2010	DBLP BibTeX RDF
1	François Bonnet, Michel Raynal	Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model.	EDCC	2010	DBLP DOI BibTeX RDF	Asynchronous message-passing system, Early decision, Perfect failure detector, Theta-model, Consensus problem
1	Yanning Du, Yinliang Zhao, Bo Han, Yuancheng Li	Optimistic Parallelism Based on Speculative Asynchronous Messages Passing.	ISPA	2010	DBLP DOI BibTeX RDF	Speculative thread-level parallelism, speculative asynchronous message passing, object versioning
1	Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri	Eventually linearizable shared objects.	PODC	2010	DBLP DOI BibTeX RDF	eventual linearizability, availability, graceful degradation
1	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
1	Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung	Asynchronous Byzantine consensus with 2f+1 processes.	SAC	2010	DBLP DOI BibTeX RDF	distributed algorithms, consensus, Byzantine fault tolerance
1	Yue Lu, Thomas Nolte, Iain Bate	Timing analyzing for systems with execution dependencies between tasks.	SAC	2010	DBLP DOI BibTeX RDF	parametric worst-case execution-time estimates on tasks, TIMES, response-time analysis, complex real-time systems
1	Achour Mostéfaoui, Michel Raynal, Gilles Trédan	On the Fly Estimation of the Processes that Are Alive in an Asynchronous Message-Passing System.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Spyros Sioutas, George Papaloukopoulos, Evangelos Sakkopoulos, Kostas Tsichlas, Yannis Manolopoulos	A novel distributed P2P simulator architecture: D-P2P-sim.	CIKM	2009	DBLP DOI BibTeX RDF	P2P simulator, distributed simulator
1	Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer	Dynamic atomic storage without consensus.	PODC	2009	DBLP DOI BibTeX RDF	atomic storage, dynamic systems, shared-memory emulations
1	Vibhor Bhatt, Nicholas Christman, Prasad Jayanti	Extracting quorum failure detectors.	PODC	2009	DBLP DOI BibTeX RDF	fault tolerance, mutual exclusion, asynchronous system, failure detector
1	Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis	Self-stabilizing minimum-degree spanning tree within one from the optimal degree.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Andreas Haeberlen, Petr Kuznetsov	The Fault Detection Problem.	OPODIS	2009	DBLP DOI BibTeX RDF	fault detection problem, lower bounds, message complexity, Fault classes
1	François Bonnet, Michel Raynal	Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?	SSS	2009	DBLP DOI BibTeX RDF
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and distributed model checking in Eddy.	STTT	2009	DBLP DOI BibTeX RDF
1	Eric Ruppert	Implementing Shared Registers in Asynchronous Message-Passing Systems.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
1	Eiko Yoneki	ECCO - Data Centric Asynchronous Communication: Challenges for Event and Query Modelling and Asynchronous Message Passing.		2008	RDF
1	A. V. S. Rajan, A. S. Bavan, Geetha Abeysinghe	An Equivalence Theorem for the Specification of Asynchronous Communication Systems (SACS) and Asynchronous Message Passing System (AMPS).	SCSS	2008	DBLP DOI BibTeX RDF
1	Claudio V. Russo	Join patterns for visual basic.	OOPSLA	2008	DBLP DOI BibTeX RDF	join patterns, visual basic, asynchronous message passing
1	Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum	Bit complexity of breaking and achieving symmetry in chains and rings.	J. ACM	2008	DBLP DOI BibTeX RDF	bit complexity, processor chain, processor ring, symmetric synchronous execution, Distributed computing, lower bounds, consensus, communication complexity, leader election, communication cost, message complexity, tight bound
1	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Actor-Based Simulation of PDEVS systems over HLA.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	PDEVS, variable structure systems, HLA, actors, Modelling and simulation
1	Bhuvaneswari Arunachalan, Janet Light	Agent-Based Mobile Middleware Architecture (AMMA) for Patient-Care Clinical Data Messaging Using Wireless Networks.	DS-RT	2008	DBLP DOI BibTeX RDF
1	Hirotsugu Kakugawa, Sayaka Kamei, Toshimitsu Masuzawa	A Token-Based Distributed Group Mutual Exclusion Algorithm with Quorums.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
1	Raymond Hu, Nobuko Yoshida, Kohei Honda	Session-Based Distributed Programming in Java.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.	ISoLA	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Petr Kouznetsov	Failure detectors as type boosters.	Distributed Computing	2008	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Emmanuel Godard, Yves Métivier, Gerard Tel	About the Termination Detection in the Asynchronous Message Passing Model.	SOFSEM	2007	DBLP DOI BibTeX RDF
1	Joe Armstrong	A history of Erlang.	HOPL	2007	DBLP DOI BibTeX RDF
1	Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro	An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
1	Yantao Song, Scott M. Pike	Eventually k-Bounded Wait-Free Distributed Daemons.	DSN	2007	DBLP DOI BibTeX RDF	self-stabilization, wait-freedom, daemons
1	Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi	A New Approach for Design and Verification of Transaction Level Models.	ISCAS	2007	DBLP DOI BibTeX RDF
1	Wei Chen 0013, Jialin Zhang, Yu Chen, Xuezheng Liu	Failure Detectors and Extended Paxos for k-Set Agreement.	PRDC	2007	DBLP DOI BibTeX RDF
1	Rachid Guerraoui	A Smooth Concurrency Revolution with Free Objects.	IEEE Internet Computing	2007	DBLP DOI BibTeX RDF	concurrency, object-oriented programming, programming model, application development
1	Felix C. Freiling, Matthias Majuntke, Neeraj Mittal	On Detecting Termination in the Crash-Recovery Model.	Euro-Par	2007	DBLP DOI BibTeX RDF	crash-recovery failure model, eventual safety, stabilizing algorithm, asynchronous distributed system, termination detection
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Object-Based Programming.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Mauricio Marín, Veronica Gil Costa	(Sync\|Async)+ MPI Search Engines.	PVM/MPI	2007	DBLP DOI BibTeX RDF
1	Achour Mostéfaoui, Michel Raynal, Gilles Trédan	On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system.	PRDC	2006	DBLP DOI BibTeX RDF
1	Gal Elidan, Ian McGraw, Daphne Koller	Residual Belief Propagation: Informed Scheduling for Asynchronous Message Passing.	UAI	2006	DBLP BibTeX RDF
1	Seung Chan Slim Lim, Peter Lucas	JDA: a step towards large-scale reuse on the web.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	black box reuse, information devices architecture, rich web application, composition, web engineering, JavaScript, dataflow architecture
1	Antonio Fernández, Ernesto Jiménez, Michel Raynal	Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony.	DSN	2006	DBLP DOI BibTeX RDF
1	Egor Bondarev, Michel R. V. Chaudron, Peter H. N. de With	Compositional Performance Analysis of Component-Based Systems on Heterogeneous Multiprocessor Platforms.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Constantin Serban, Naftaly H. Minsky	Generalized Access Control of Synchronous Communication.	Middleware	2006	DBLP DOI BibTeX RDF	Security, Access-control, RMI, Synchronous communication, Law Governed Interaction
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and Distributed Model Checking in Eddy.	SPIN	2006	DBLP DOI BibTeX RDF
1	Jérémie Chalopin, Yves Métivier	A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
1	Einar Broch Johnsen, Olaf Owe	Inheritance in the Presence of Asynchronous Method Calls.	HICSS	2005	DBLP DOI BibTeX RDF
1	Ayman Shaker, Douglas S. Reeves	Self-Stabilizing Structured Ring Topology P2P Systems.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF
1	Zonghua Gu, Zhimin He	Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.	CBSE	2005	DBLP DOI BibTeX RDF
1	Chenrong Huang, Mingxue Chen	Distributed Network Computing on Transient Stability Analysis and Control.	ISPA	2005	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
1	Jérémie Chalopin	Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem.	SOFSEM	2005	DBLP DOI BibTeX RDF
1	Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with r-Operators Revisited.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
1	L. Gregory Meredith, Matthias Radestock	Namespace Logic: A Logic for a Reflective Higher-Order Calculus.	TGC	2005	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Lucia Draque Penso	Tight bounds for k-set agreement with limited-scope failure detectors.	Distributed Computing	2005	DBLP DOI BibTeX RDF
1	Partha Dutta, Rachid Guerraoui, Ron R. Levy, Arindam Chakraborty	How fast can a distributed atomic read be?	PODC	2004	DBLP DOI BibTeX RDF	time-complexity, atomic registers, shared-memory emulation
1	Rachid Guerraoui, Ron R. Levy	Robust Emulations of Shared Memory in a Crash-Recovery Model.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Sriram K. Rajamani, Jakob Rehof	Models for Contract Conformance.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Thibault Bernard, Alain Bui, Olivier Flauzac	Random Distributed Self-stabilizing Structures Maintenance.	ISSADS	2004	DBLP DOI BibTeX RDF	distributed systems, self-stabilization, random walks
1	Dariusz R. Kowalski, Alexander A. Shvartsman	Performing work with asynchronous processors: message-delay-sensitive bounds.	PODC	2003	DBLP DOI BibTeX RDF
1	Sanjay Vivek, Kenneth Tso, David De Roure	Mobile Link Services with MQSeries Everyplace.	PerCom	2003	DBLP DOI BibTeX RDF
1	Juha-Pekka Soininen, Axel Jantsch, Martti Forsell, Antti Pelkonen, Jari Kreku, Shashi Kumar	Extending Platform-Based Design to Network on Chip Systems.	VLSI Design	2003	DBLP DOI BibTeX RDF
1	Matthias Colin, Xavier Thirioux, Marc Pantel	Temporal Logic Based Static Analysis for Non-uniform Behaviours.	FMOODS	2003	DBLP DOI BibTeX RDF
1	Rui Fan, Nancy A. Lynch	Efficient Replication of Large Data Objects.	DISC	2003	DBLP DOI BibTeX RDF
1	Maurice Herlihy, Lucia Draque Penso	Tight Bounds for k-Set Agreement with Limited-Scope Failure Detectors.	DISC	2003	DBLP DOI BibTeX RDF
1	Xiang Fu, Tevfik Bultan, Jianwen Su	Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services.	CIAA	2003	DBLP DOI BibTeX RDF
1	Elsa L. Gunter, Anca Muscholl, Doron Peled	Compositional message sequence charts.	STTT	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
1	Sriram K. Rajamani, Jakob Rehof	Conformance Checking for Models of Asynchronous Message Passing Software.	CAV	2002	DBLP DOI BibTeX RDF
1	Madhuri Dwivedula, Salim Hariri, Manish Parashar	A Software Design Model for Parallel Applications on Heterogeneous Systems. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	overlap of computation/communication, blocking/nonblocking primitives, Distributed Software Design Model, astrophysical N-body problem, asynchronous message passing
1	Erik Johansson, Konstantinos F. Sagonas, Jesper Wilhelmsson	Heap architectures for concurrent languages using message passing.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	message passing, garbage collection, erlang, runtime systems, concurrent languages
1	Stanislaw Chrobot	Modelling Communication in Distributed Systems.	PARELEC	2002	DBLP DOI BibTeX RDF
1	Partha Dutta, Rachid Guerraoui	Fast Indulgent Consensus with Zero Degradation.	EDCC	2002	DBLP DOI BibTeX RDF
1	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
1	Sibylle Peuker, Ian J. Hayes	Towards a Refinement Calculus for Concurrent Real-Time Programs.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Martin Steffen	Synchronous Closing of Timed SDL Systems for Model Checking.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Yuh-Jzer Joung	The congenial talking philosophers problem in computer networks.	Distributed Computing	2002	DBLP DOI BibTeX RDF	Distributed algorithms, Resource allocation, Message passing, Mutual exclusion, Group mutual exclusion
1	Eric Badouel, Benoît Caillaud, Philippe Darondeau	Distributing Finite Automata Through Petri Net Synthesis.	Formal Asp. Comput.	2002	DBLP DOI BibTeX RDF	General Petri nets, Distribution, Synthesis, Finite automata, Regions
1	A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman	Formal Platform-Independent Design of Real-Time Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
1	Haiping Xu, Sol M. Shatz	An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF
1	Csaba Andras Moritz, Matthew Frank	LoGPC: Modeling Network Contention in Message-Passing Programs.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	modeling, network, Multiprocessors, pipelining, contention
1	Mauro Gaspari, Gianluigi Zavattaro	An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
1	Kazunori Ueda	A Close Look at Constraint-Based Concurrency.	ICLP	2001	DBLP DOI BibTeX RDF
1	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
1	Elsa L. Gunter, Anca Muscholl, Doron Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
1	Franck Petit, Vincent Villain	Self-stabilizing Depth-first Token Circulation in Asynchronous Message-passing Systems.	Computers and Artificial Intelligence	2000	DBLP BibTeX RDF
1	Achour Mostéfaoui, Michel Raynal, Frederic Tronel	From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
1	Kei Shiu Ho, Hong Va Leong	An Extended CORBA Event Service with Support for Load Balancing and Fault-Tolerance. (PDF / PS)	DOA	2000	DBLP DOI BibTeX RDF	federated event channel, push-based communication, asynchronous message passing
1	Sandeep Lodha, Ajay D. Kshemkalyani	A Fair Distributed Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion
1	Gian Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini	Mobile Agents Coordination in Mobadtl.	COORDINATION	2000	DBLP DOI BibTeX RDF
1	Thierry Matthey, Jan P. Hansen	Evaluation of MPI's One-Sided Communication Mechanism for Short-Range Molecular Dynamics on the Origin2000.	PARA	2000	DBLP DOI BibTeX RDF