Search results for "Futurebus "

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