Sciweavers

11168 search results - page 2018 / 2234
» Abstract State Processes
Sort
View
FORMATS
2006
Springer
15 years 4 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
102
Voted
AIME
2003
Springer
15 years 4 months ago
Experiences in the Formalisation and Verification of Medical Protocols
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
Mar Marcos, Michael Balser, Annette ten Teije, Fra...
ASPDAC
2001
ACM
100views Hardware» more  ASPDAC 2001»
15 years 4 months ago
Low power implementation of a turbo-decoder on programmable architectures
Low Power is an extremely important issue for future mobile radio systems. Channel decoders are essential building blocks of base-band signal processing units in mobile terminal ar...
Frank Gilbert, Alexander Worm, Norbert Wehn
99
Voted
AVBPA
2003
Springer
146views Biometrics» more  AVBPA 2003»
15 years 4 months ago
Dental Biometrics: Human Identification Using Dental Radiographs
Abstract. The goal of forensic dentistry is to identify people based on their dental records, mainly as radiograph images. In this paper we attempt to set forth the foundations of ...
Anil K. Jain, Hong Chen, Silviu Minut
CHES
2003
Springer
146views Cryptology» more  CHES 2003»
15 years 4 months ago
Efficient Implementation of Rijndael Encryption in Reconfigurable Hardware: Improvements and Design Tradeoffs
Abstract. Performance evaluation of the Advanced Encryption Standard candidates has led to intensive study of both hardware and software implementations. However, although plentifu...
François-Xavier Standaert, Gaël Rouvro...
« Prev « First page 2018 / 2234 Last » Next »