Search results for "message passing protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Dieter Gollmann	What do We Mean by Entity Authentication?	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
1	Timothy W. Hnat, Tamim I. Sookoor, Kamin Whitehouse	Macrodebugging with MDB.	SenSys	2009	DBLP DOI BibTeX RDF	macrodebugging, wireless embedded networks, source-level debugging
1	Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki	Safe and Distributed Kinodynamic Replanning for Vehicular Networks.	MONET	2009	DBLP DOI BibTeX RDF	message-passing protocol, safety, motion planning, vehicular networks, real-time control, motion coordination
1	Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki	A distributed protocol for safe real-time planning of communicating vehicles with second-order dynamics.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
1	Marcos Kawazoe Aguilera, Arif Merchant, Mehul A. Shah, Alistair C. Veitch, Christos T. Karamanolis	Sinfonia: a new paradigm for building scalable distributed systems.	SOSP	2007	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, scalability, transactions, shared memory, two-phase commit
1	Marija Cubric	Wiki-based process framework for blended learning.	Int. Sym. Wikis	2007	DBLP DOI BibTeX RDF	e-learning, blended-learning, MediaWiki
1	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini	Quantifying the Discord: Order Discrepancies in Message Sequence Charts.	ATVA	2007	DBLP DOI BibTeX RDF
1	Camille Coti, Thomas Hérault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello	MPI tools and performance studies - Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI.	SC	2006	DBLP DOI BibTeX RDF
1	Lois W. Harper, Harry S. Delugach	Using Conceptual Graphs to Capture Semantics of Agent Communication.	ICCS	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	Ron Brightwell, William Lawry, Arthur B. Maccabe, Rolf Riesen	Portals 3.0: Protocol Building Blocks for Low Overhead Communication. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	os by-pass, message passing, network protocol, workstation cluster, massively parallel
1	Alan Fekete, Nancy A. Lynch, Alexander A. Shvartsman	Specifying and using a partitionable group communication service.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	composable building blocks, conditional performance analysis, message-passing protocols, ordered broadcast, total-order broadcast, distributed algorithms, service specification, group communication protocols
1	Elsa L. Gunter, Anca Muscholl, Doron Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
1	Pertti Kellomäki	Deriving Message Passing Protocols from Collective Behavior.	DIPES	2000	DBLP BibTeX RDF
1	Udo Hahn, Peter Neuhaus, Norbert Bröker	Message-Passing Protocols for Real-World Parsing -- An Object-Oriented Model and its Preliminary Evaluation	CoRR	1997	DBLP BibTeX RDF
1	Rajeev Sivaram, Craig B. Stunkel, Dhabaleswar K. Panda	A Reliable Hardware Barrier Synchronization Scheme. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF
1	Robert Cypher, Smaragda Konstantinidou	Bounds on the Efficiency of Message-Passing Protocols for Parallel Computers.	SIAM J. Comput.	1996	DBLP DOI BibTeX RDF
1	John Heinlein, Kourosh Gharachorloo, Scott Dresser, Anoop Gupta	Integration of Message Passing and Shared Memory in the Stanford FLASH Multiprocessor.	ASPLOS	1994	DBLP DOI BibTeX RDF
1	Beng-Hong Lim, Anant Agarwal	Reactive Synchronization Algorithms for Multiprocessors.	ASPLOS	1994	DBLP DOI BibTeX RDF
1	Robert Cypher, Smaragda Konstantinidou	Bounds on the Efficiency of Message-Passing Protocols for Parallel Computers.	SPAA	1993	DBLP DOI BibTeX RDF
1	Barbara Liskov, Liuba Shrira, John Wroclawski	Efficient At-Most-Once Messages Based on Synchronized Clocks.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF	at-most-once message passing, message-passing protocols, synchronized clocks, remote procedure calls