Search results for "arbiter"

Found 411 publication records. Showing 410 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
13	Alexandre Yakovlev, A. Petrov, Luciano Lavagno	A low latency asynchronous arbitration circuit.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
13	Robert de Simone, Annie Ressouche	Compositional Semantics of ESTEREL and Verification by Compositional Reductions.	CAV	1994	DBLP DOI BibTeX RDF
13	Richard Taylor 0002	Near Optimal Unconditionally Secure Authentication.	EUROCRYPT	1994	DBLP DOI BibTeX RDF
13	Yuval Tamir, Hsin-Chou Chi	Symmetric Crossbar Arbiters for VLSI Communication Switches.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	VLSI communication switches, symmetric crossbar arbiters, multistage interconnectionnetwork, switch arbitration policy, worst-case latency, circuitsimulation, performance evaluation, VLSI, circuit analysis computing, network simulations, critical path, multiprocessorinterconnection networks, system clock
13	Mateo Valero, Tomás Lang, Eduard Ayguadé	Conflict-free access of vectors with power-of-two strides.	ICS	1992	DBLP DOI BibTeX RDF	multi-module memories, out-of-order access, power-of-two strides, vector processors, conflict-free access, storage schemes
13	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
13	Gustavus J. Simmons, George B. Purdy	Zero-Knowledge Proofs of Identity And Veracity of Transaction Receipts.	EUROCRYPT	1988	DBLP DOI BibTeX RDF
13	Gustavus J. Simmons	Message Authentication with Arbitration of Transmitter/Receiver Disputes.	EUROCRYPT	1987	DBLP DOI BibTeX RDF
13	Lois Zells	Giving away the data processing store, or Does the data processing department as we know it today have a future?	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF

Displaying result #401 - #410 of 410 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]