4272 search results - page 159 / 855 » A Case for Automatic System Evaluation |
162
click to vote
CN
2007
15 years 6 months ago
2007
Self-protecting systems require the ability to instantaneously detect malicious activity at run-time and prevent execution. We argue that it is impossible to perfectly self-protec...
213
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
157
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
—In this paper, we introduce NNexus, a generalization of the automatic linking engine of Noosphere (at PlanetMath.org) and the first system that automates the process of linking...
148
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
147
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper describes a system-level modeling method in UML for performance evaluation of embedded systems. The core technology of this modeling method is reverse modeling based ...