2520 search results - page 405 / 504 » Model-checking behavioral programs |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
VEE
2005
ACM
14 years 3 months ago
2005
ACM
Virtual execution environments have become increasingly useful in system implementation, with dynamic translation techniques being an important component for performance-critical ...
RTAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
ICS
2003
Tsinghua U.
14 years 3 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...