4722 search results - page 441 / 945 » Encoding Program Executions |
202
Voted
MICRO
2002
IEEE
15 years 11 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...
146
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Recent research has shown that programs often exhibit value locality. Such locality occurs when a code segment, although executed repeatedly in the program, takes only a small num...
185
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...
221
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
165
click to vote
MST
2008
15 years 6 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...