5900 search results - page 1037 / 1180 » Dependable Systems |
157
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
183
click to vote
VEE
2006
ACM
16 years 11 days ago
2006
ACM
Virtual Machine Monitors (VMMs) are a common tool for implementing honeypots. In this paper we examine the implementation of a VMM-based intrusion detection and monitoring system ...
176
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
189
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
179
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...