Sciweavers

2514 search results - page 136 / 503
» Design, Implementation, and Evaluation of a Digital Lectern ...
Sort
View
EMSOFT
2008
Springer
15 years 3 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
MDM
2004
Springer
156views Communications» more  MDM 2004»
15 years 7 months ago
Soft Handover in Terrestrial Broadcast Networks
The 3rd generation mobile cellular communication systems will provide highcapacity bandwidth, enabling rich media and even TV services to be accessible via mobile handheld devices...
Jani Väre, Matti Puputti
ISQED
2006
IEEE
259views Hardware» more  ISQED 2006»
15 years 7 months ago
Impact of NBTI on SRAM Read Stability and Design for Reliability
— Negative Bias Temperature Instability (NBTI) has the potential to become one of the main show-stoppers of circuit reliability in nanometer scale devices due to its deleterious ...
Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatneka...
HICSS
2006
IEEE
131views Biometrics» more  HICSS 2006»
15 years 7 months ago
Design and Characterization of a Hardware Encryption Management Unit for Secure Computing Platforms
— Software protection is increasingly necessary for uses in commercial systems, digital content distributors, and military systems. The Secure Software (SecSoft) architecture is ...
Anthony J. Mahar, Peter M. Athanas, Stephen D. Cra...
140
Voted
SIGMOD
2011
ACM
220views Database» more  SIGMOD 2011»
14 years 4 months ago
Zephyr: live migration in shared nothing databases for elastic cloud platforms
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
Aaron J. Elmore, Sudipto Das, Divyakant Agrawal, A...