|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Koen Langendoen, Henk L. Muller, Louis O. Hertzberger |
Evaluation of Futurebus Hierarchical Caching. |
PARLE (1) |
1991 |
DBLP DOI BibTeX RDF |
|
60 | Linda A. Ness |
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages |
48 | Amir Pnueli, Elad Shahar |
A Platform for Combining Deductive with Algorithmic Verification. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Kylie Williams, Robert Esser |
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
29 | Marcel Kyas |
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. |
VEPAS |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Ou Yamamoto, Takuya Terasawa, Hideharu Amano |
An analysis of fairness and overhead in the arbitration protocol of the IEEE Futurebus standard. |
Syst. Comput. Jpn. |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness |
Verification of the Futurebus+ Cache Coherence Protocol. |
Formal Methods Syst. Des. |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness |
Verification of the Futurebus+ Cache Coherence Protocol. |
CHDL |
1993 |
DBLP BibTeX RDF |
|
29 | Eric E. Johnson, Roy S. Moore, John T. Polson |
Evaluation of Futurebus+ for a GMMP Multiprocessor. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
29 | Barbara P. Aichinger |
Futurebus+ as an I/O Bus: Profile B. |
ISCA |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Simon L. Peyton Jones, Mark Hardie |
A Futurebus interface from off-the-shelf parts. |
IEEE Micro |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Richard A. Volz, Liu Sha, Dwight Wilcox |
Maintaining Global Time in Futurebus+. |
Real Time Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Peter Robinson 0001 |
IEEE futurebus cache coherence protocol as a logic program. |
Microprocess. Microsystems |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Lui Sha, John P. Lehoczky, Ragunathan Rajkumar |
Real-Time Scheduling Support in Futurebus+. |
RTSS |
1990 |
DBLP DOI BibTeX RDF |
|
29 | T. Fletcher, E. Hahn, J. West |
BiCMOS Futurebus transceiver. |
ICCD |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Paul Dixon |
Page associative caches on Futurebus. |
Microprocess. Microsystems |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Paul L. Borrill |
The Futurebus Protocol. |
COMPCON |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Paul Sweazey |
Shared Memory Systems on the Futurebus. |
COMPCON |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Paul Sweazey |
VLSI support for copyback caching protocols on Futurebus. |
ICCD |
1988 |
DBLP DOI BibTeX RDF |
|
29 | D. Matthew Taub |
Improved Control Acquisition Scheme for the IEEE 896 Futurebus. |
IEEE Micro |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Simon Peyton Jones |
Using Futurebus in a fifth-generation computer. |
Microprocess. Microsystems |
1986 |
DBLP DOI BibTeX RDF |
|
29 | Steve Hitchcock |
IEE P896 Futurebus Colloquium: 31 January 1986, London, UK. |
Microprocess. Microsystems |
1986 |
DBLP DOI BibTeX RDF |
|
29 | Roger Edwards |
Futurebus - the independent standard for 32-bit systems. |
Microprocess. Microsystems |
1986 |
DBLP DOI BibTeX RDF |
|
29 | Paul Sweazey, Alan Jay Smith |
A Class of Compatible Cache Consistency Protocols and their Support by the IEEE Futurebus. |
ISCA |
1986 |
DBLP DOI BibTeX RDF |
|
29 | D. Matthew Taub |
Arbitration and Control Acquisition in the Proposed IEEE 896 Futurebus. |
IEEE Micro |
1984 |
DBLP DOI BibTeX RDF |
|
29 | Paul L. Borrill, John Theus |
An Advanced Communication Protocol for the Proposed IEEE 896 Futurebus. |
IEEE Micro |
1984 |
DBLP DOI BibTeX RDF |
|
29 | R. V. Balakrishnan |
The Proposed IEEE 896 Futurebus - A Solution to the Bus Driving Problem. |
IEEE Micro |
1984 |
DBLP DOI BibTeX RDF |
|
29 | Paul L. Borrill |
The Futurebus Project. |
COMPCON |
1984 |
DBLP BibTeX RDF |
|
29 | Paul L. Borrill |
IEEE P896 - the Futurebus project. |
Microprocess. Microsystems |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Chris J. Walter, Neeraj Suri, T. Monaghan |
Evaluating COTS Standards for Design of Dependable Systems. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar |
Symbolic Model Checking with Rich ssertional Languages. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Mikhail Makhaniok, Reinhard Männer |
Hardware Synchronization of Massively Parallel Processes in Distributed Systems. |
ISPAN |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke, Thomas Filkorn, Somesh Jha |
Exploiting Symmetry In Temporal Logic Model Checking. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|