Sciweavers

3601 search results - page 323 / 721
» The Future of Virtualization Technology
Sort
View
SACRYPT
1999
Springer
15 years 11 months ago
Yarrow-160: Notes on the Design and Analysis of the Yarrow Cryptographic Pseudorandom Number Generator
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
John Kelsey, Bruce Schneier, Niels Ferguson
189
Voted
HOTOS
1997
IEEE
15 years 11 months ago
Operating Systems for Component Software Environments
Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
Noah Mendelsohn
SAFECOMP
1998
Springer
15 years 11 months ago
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
Thomas Ringler, J. Steiner, R. Belschner, Bernd He...
WAN
1998
Springer
15 years 11 months ago
Advanced Computing and Communications Research under NSF Support
This paper discusses the research initiatives and programs supported by the National Science Foundation to promote high-end computing and largescale networking. This work mainly fa...
S. Kamal Abdali
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
15 years 10 months ago
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Sto...