6057 search results - page 258 / 1212 » A system architecture for pervasive computing |
161
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
204
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
The task in the computer security domain of anomaly detection is to characterize the behaviors of a computer user (the `valid', or `normal' user) so that unusual occurre...
163
click to vote
SC
2005
ACM
16 years 4 days ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...
188
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...
197
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...