|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 637 occurrences of 363 keywords
|
|
|
Results
Found 1220 publication records. Showing 1220 according to the selection in the facets
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] |
|