2292 search results - page 394 / 459 » Techniques and tools for dynamic optimization |
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
KDD
2009
ACM
14 years 22 days ago
2009
ACM
Currently, the most significant line of defense against malware is anti-virus products which focus on authenticating valid software from a white list, blocking invalid software f...
VISUALIZATION
1997
IEEE
14 years 10 days ago
1997
IEEE
In the area of scientific visualization, input data sets are often very large. In visualization of Computational Fluid Dynamics (CFD) in particular, input data sets today can surp...