1023 search results - page 62 / 205 » A Formal Method for Program Slicing |
124
click to vote
SAS
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
114
Voted
CAEPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
101
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
141
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
120
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...