The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Futurebus with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1982-1990 (17) 1991-2001 (15) 2004 (1)
Publication types (Num. hits)
article(15) inproceedings(18)
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
77Koen Langendoen, Henk L. Muller, Louis O. Hertzberger Evaluation of Futurebus Hierarchical Caching. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
60Linda A. Ness L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
48Amir Pnueli, Elad Shahar A Platform for Combining Deductive with Algorithmic Verification. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
29Kylie Williams, Robert Esser Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. Search on Bibsonomy ACSC The full citation details ... 2004 DBLP  BibTeX  RDF
29Marcel Kyas Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. Search on Bibsonomy VEPAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Ou Yamamoto, Takuya Terasawa, Hideharu Amano An analysis of fairness and overhead in the arbitration protocol of the IEEE Futurebus standard. Search on Bibsonomy Syst. Comput. Jpn. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness Verification of the Futurebus+ Cache Coherence Protocol. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
29Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness Verification of the Futurebus+ Cache Coherence Protocol. Search on Bibsonomy CHDL The full citation details ... 1993 DBLP  BibTeX  RDF
29Eric E. Johnson, Roy S. Moore, John T. Polson Evaluation of Futurebus+ for a GMMP Multiprocessor. Search on Bibsonomy ICCI The full citation details ... 1992 DBLP  BibTeX  RDF
29Barbara P. Aichinger Futurebus+ as an I/O Bus: Profile B. Search on Bibsonomy ISCA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Simon L. Peyton Jones, Mark Hardie A Futurebus interface from off-the-shelf parts. Search on Bibsonomy IEEE Micro The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Richard A. Volz, Liu Sha, Dwight Wilcox Maintaining Global Time in Futurebus+. Search on Bibsonomy Real Time Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Peter Robinson 0001 IEEE futurebus cache coherence protocol as a logic program. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Real-Time Scheduling Support in Futurebus+. Search on Bibsonomy RTSS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29T. Fletcher, E. Hahn, J. West BiCMOS Futurebus transceiver. Search on Bibsonomy ICCD The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Paul Dixon Page associative caches on Futurebus. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Paul L. Borrill The Futurebus Protocol. Search on Bibsonomy COMPCON The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Paul Sweazey Shared Memory Systems on the Futurebus. Search on Bibsonomy COMPCON The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29Paul Sweazey VLSI support for copyback caching protocols on Futurebus. Search on Bibsonomy ICCD The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
29D. Matthew Taub Improved Control Acquisition Scheme for the IEEE 896 Futurebus. Search on Bibsonomy IEEE Micro The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
29Simon Peyton Jones Using Futurebus in a fifth-generation computer. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29Steve Hitchcock IEE P896 Futurebus Colloquium: 31 January 1986, London, UK. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29Roger Edwards Futurebus - the independent standard for 32-bit systems. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29Paul Sweazey, Alan Jay Smith A Class of Compatible Cache Consistency Protocols and their Support by the IEEE Futurebus. Search on Bibsonomy ISCA The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29D. Matthew Taub Arbitration and Control Acquisition in the Proposed IEEE 896 Futurebus. Search on Bibsonomy IEEE Micro The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
29Paul L. Borrill, John Theus An Advanced Communication Protocol for the Proposed IEEE 896 Futurebus. Search on Bibsonomy IEEE Micro The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
29R. V. Balakrishnan The Proposed IEEE 896 Futurebus - A Solution to the Bus Driving Problem. Search on Bibsonomy IEEE Micro The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
29Paul L. Borrill The Futurebus Project. Search on Bibsonomy COMPCON The full citation details ... 1984 DBLP  BibTeX  RDF
29Paul L. Borrill IEEE P896 - the Futurebus project. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
24Chris J. Walter, Neeraj Suri, T. Monaghan Evaluating COTS Standards for Design of Dependable Systems. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar Symbolic Model Checking with Rich ssertional Languages. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Mikhail Makhaniok, Reinhard Männer Hardware Synchronization of Massively Parallel Processes in Distributed Systems. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Edmund M. Clarke, Thomas Filkorn, Somesh Jha Exploiting Symmetry In Temporal Logic Model Checking. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license