Search results for "handshake"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Michael L. Scott	Non-blocking timeout in scalable queue-based spin locks.	PODC	2002	DBLP DOI BibTeX RDF	spin locks, scalability, synchronization, timeout
11	Jakob Jonsson, Burton S. Kaliski Jr.	On the Security of RSA Encryption in TLS.	CRYPTO	2002	DBLP DOI BibTeX RDF	key encapsulation, RSA encryption, TLS
11	Vikram Kanodia, Chengzhi Li, Ashutosh Sabharwal, Bahareh Sadeghi, Edward W. Knightly	Distributed multi-hop scheduling and medium access with delay and throughput constraints.	MobiCom	2001	DBLP DOI BibTeX RDF
11	Eun-Kyeong Kwon, Yong-Gu Cho, Ki-Joon Chae	Security Enhancement on Mobile Commerce.	Human.Society@Internet	2001	DBLP DOI BibTeX RDF
11	Eun-Kyeong Kwon, Yong-Gu Cho, Ki-Joon Chae	Integrated Transport Layer Security: End-to-End Security Model between WTLS and TLS.	ICOIN	2001	DBLP DOI BibTeX RDF
11	Allen E. Sjogren, Chris J. Myers	Interfacing synchronous and asynchronous modules within a high-speed pipeline.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
11	Francesco Pessolano, Joep L. W. Kessels	Asynchronous First-in First-out Queues.	PATMOS	2000	DBLP DOI BibTeX RDF
11	Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood 0001	Timestamp snooping: an approach for extending SMPs.	ASPLOS	2000	DBLP DOI BibTeX RDF
11	Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand	Peephole optimization of asynchronous macromodule networks.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
11	Mark R. Greenstreet	Real-Time Merging.	ASYNC	1999	DBLP DOI BibTeX RDF	bounded-time, receptive mixer, real-time, merging, arbitration, metastability
11	Martin H. Levin	Use of a soundcard in teaching audio frequency and analog modem communications.	ITiCSE	1999	DBLP DOI BibTeX RDF	analog telephone systems, dual tone multiple frequencies, soundcards, telephone modems, visual pictorization, handshakes
11	Mark B. Josephs	Formal Derivation of a Loadable Asynchronous Counter.	MPC	1998	DBLP DOI BibTeX RDF
11	Zhenyu Tang 0003, J. J. Garcia-Luna-Aceves	Hop Reservation Multiple Access (HRMA) for Multichannel Packet Radio Networks.	ICCCN	1998	DBLP DOI BibTeX RDF	wireless data communications, multichanel, Multiple Access Control protocol, collision free, ad-hoc networks, multihop, packet radio networks, Reservation, Frequency hopping, hidden terminal
11	Jo C. Ebergen, Robert Berks	Response Time Properties of Some Asynchronous Circuits.	ASYNC	1997	DBLP DOI BibTeX RDF	variable-delay model, performance analysis, Asynchronous circuits, response time, micropipeline
11	Riccardo Mariani, Roberto Roncella, Roberto Saletti, Pierangelo Terreni	On the Realisation of Delay-Insensitive Asynchronous Circuits with CMOS Ternary Logic.	ASYNC	1997	DBLP DOI BibTeX RDF
11	Johann Schumann	Automatic Verification of Cryptographic Protocols with SETHEO.	CADE	1997	DBLP DOI BibTeX RDF
11	Riccardo Mariani, Roberto Roncella, Roberto Saletti, Pierangelo Terreni	Useful Application of CMOS Ternary Logic to the Realisation of Asynchronous Circuits.	ISMVL	1997	DBLP DOI BibTeX RDF
11	Allen E. Sjogren, Chris J. Myers	Interfacing Synchronous and Asynchronous Modules Within a High-Speed Pipeline.	ARVLSI	1997	DBLP DOI BibTeX RDF	Mixed synchronous/asynchronous interfacing, stoppable clocks, high-speed pipelines, globally synchronous locally asynchronous, metastability, synchronization failure
11	K. Nanda, S. K. Desai, S. K. Roy	A New Methodology for the Design of Asynchronous Digital Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF
11	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Verification of Communication Protocols Using Data Flow Analysis.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
11	Andrés Takach, Wayne H. Wolf	Scheduling constraint generation for communicating processes.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
11	Martin Lang 0003, Matthias Stümpfle, Hartmut Kocher	Building a Hierarchical CAN-Simulator Using an Object-Oriented Environment.	MMB	1995	DBLP DOI BibTeX RDF
11	Alexandre Yakovlev, A. Petrov, Luciano Lavagno	A low latency asynchronous arbitration circuit.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
11	Helnye Azaria, Adrian Dvir	Algorithm optimization using a rule-based system. A case study: The Direct Kinematic Solution in robotics.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	Algorithm optimization, robot arm control, robotics, logic programming, rule-based system
11	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
11	Sandra L. Murphy, A. Udaya Shankar	A verified connection management protocol for the transport layer.	Comput. Commun. Rev.	1987	DBLP DOI BibTeX RDF
11	John H. Reif, Gary L. Peterson	A Dynamic Logic of Multiprocessing with Incomplete Information.	POPL	1980	DBLP DOI BibTeX RDF