Sciweavers

251 search results - page 1 / 51
» Design of a SPDIF Receiver Using Protocol Compiler
Sort
View
ASAP
2007
IEEE
118views Hardware» more  ASAP 2007»
13 years 7 months ago
Evaluation of a Tightly Coupled ASIP / Co-Processor Architecture Used in GNSS Receivers
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...
Götz Kappen, S. el Bahri, O. Priebe, Tobias G...
CSFW
2009
IEEE
13 years 9 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
TJS
2002
101views more  TJS 2002»
13 years 5 months ago
Compilation for Adaptive Computing Systems Using Complex Parameterized Hardware Objects
FLAME, the Flexible API for Module-based Environments, is a proposed standard interface for the integration of parameterized hardware generators into high-level design tools. This ...
Andreas Koch
INFOCOM
1996
IEEE
13 years 9 months ago
RMTP: A Reliable Multicast Transport Protocol
This paper describes the design and implementation of a multicast transport protocol called RMTP. RMTP provides sequenced, lossless delivery of bulk data from one sender to a grou...
John C.-H. Lin, Sanjoy Paul