Sciweavers

3643 search results - page 516 / 729
» System Architecture for Software Peripherals
Sort
View
CC
2010
Springer
179views System Software» more  CC 2010»
15 years 11 months ago
Validating Register Allocation and Spilling
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
Silvain Rideau, Xavier Leroy
123
Voted
PERCOM
2006
ACM
15 years 10 months ago
Sensor Networks For Smart Roads
This paper proposes the use of a wireless sensor network of “cat’s eye” augmented with embedded processing, communication, and sensing capabilities to monitor vehicle behavi...
Marcin Karpinski, Aline Senart, Vinny Cahill
PERVASIVE
2005
Springer
15 years 10 months ago
Task Partitioning in Smart Environments
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
Markus Ritala, Jukka Vanhala
DEXAW
2003
IEEE
101views Database» more  DEXAW 2003»
15 years 10 months ago
The Patia Autonomic Webserver: Feasibility Experimentation
This paper introduces the Patia Autonomic webserver, which has been designed to be self-monitoring and adaptive to not only improve webserver performance but robustness in terms o...
Julie A. McCann, Gawesh Jawaheer
133
Voted
ACISP
1998
Springer
15 years 8 months ago
A Solution to Open Standard of PKI
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...
Qi He, Katia P. Sycara, Zhongmin Su