Search results for "synchrony"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Robert B. Johnston, Alvin Khin Choy Yap	Electronic Data Interchange using Two Dimensional Bar Code.	HICSS (4)	1998	DBLP DOI BibTeX RDF
10	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF
10	Florence Maraninchi, Yann Rémond	Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.	COMPOS	1997	DBLP DOI BibTeX RDF
10	Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno	Asynchronous Implementation of Synchronous Esterel Specifications.	VLSI Design	1997	DBLP DOI BibTeX RDF
10	Kyo Chul Kang, Kwang-Il Ko	Formalization and Verification of Safety Properties of Statechart Specifications.	APSEC	1996	DBLP DOI BibTeX RDF	real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph
10	Chul-Eui Hong, Bruce M. McMillin	Relaxing Synchronization in Distributed Simulated Annealing.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
10	Farn Wang	Reachability Analysis at Procedure Level through Timing Coincidence.	CONCUR	1995	DBLP DOI BibTeX RDF
10	Mark A. Breland, Steven A. Rogers, Guillaume P. Brat, Kenneth L. Nelson	Transparent Fault Tolerance for Distributed Ada Applications.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
10	Philippe Lacroute, Marc Levoy	Fast volume rendering using a shear-warp factorization of the viewing transformation.	SIGGRAPH	1994	DBLP DOI BibTeX RDF	volume rendering, medical imaging, scientific visualization, coherence
10	Rivka Ladin, Barbara Liskov, Liuba Shrira	Lazy Replication: Exploiting the Semantics of Distributed Services (Extended Abstract).	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
10	Pat Stephenson, Kenneth P. Birman	Fast Causal Multicast.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
10	Pascale Minet, Emmanuelle Anceaume	Atomic Broadcast in One Phase.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
10	Kenneth P. Birman, Robert Cooper	The ISIS Project: Real Experience with a Fault Tolerant Programming System.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
10	Mathai Joseph	Problems, Promises and Performance: Some Questions for Real-time System Specification.	REX Workshop	1991	DBLP DOI BibTeX RDF	synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification
10	Nam Ling, Magdy A. Bayoumi	Systolic temporal arithmetic: a new formalism for specification and verification of systolic arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
10	Joffroy Beauquier	Fault-Tolerant Naming and Mutual Exclusion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	synchronous and asynchronous message passing, naming problem, fault tolerance, distributed algorithms, byzantine process, mutual exclusion problem
10	Danny Dolev, Cynthia Dwork, Larry J. Stockmeyer	On the minimal synchronism needed for distributed consensus.	J. ACM	1987	DBLP DOI BibTeX RDF
10	Goffredo Haus, Antonio Rodriguez	Music Description and Processing by Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
10	Manuel Silva Suárez, José Manuel Colom	On the Computation of Structural Synchronic Invariants in P/T Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
10	Leslie Lamport, P. M. Melliar-Smith	Synchronizing Clocks in the Presence of Faults	J. ACM	1985	DBLP DOI BibTeX RDF

Displaying result #1201 - #1220 of 1220 (100 per page; Change: )
Pages: [<<][3][4][5][6][7][8][9][10][11][12][13]