Sciweavers

2945 search results - page 429 / 589
» Designing and Implementing Malicious Hardware
Sort
View
ISCC
2000
IEEE
122views Communications» more  ISCC 2000»
15 years 11 months ago
Hierarchical Performance Modeling for Distributed System Architectures
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
Debra L. Smarkusky, Reda A. Ammar, Imad Antonios, ...
TPHOL
1996
IEEE
15 years 10 months ago
Importing Mathematics from HOL into Nuprl
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
Douglas J. Howe
SIGOPSE
1996
ACM
15 years 10 months ago
Server operating systems
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ga...
ICMB
2007
IEEE
144views Business» more  ICMB 2007»
15 years 10 months ago
Augmented Reality 3D Interactive Advertisements on Smartphones
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...
Fadi Chehimi, Paul Coulton, Reuben Edwards
ICISC
2007
117views Cryptology» more  ICISC 2007»
15 years 8 months ago
Side Channel Attacks on Irregularly Decimated Generators
Abstract. We investigate three side channel attacks on ABSG, a variant of irregularly decimated generators (IDG). The three attacks are timing analysis, phase-shift fault analysis ...
Chuan-Wen Loe, Khoongming Khoo