4722 search results - page 624 / 945 » Encoding Program Executions |
120
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
192
click to vote
KIVS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...
99
Voted
ISCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Many studies have investigated performance improvement through exploiting instruction-level parallelism (ILP) with a particular architecture. Unfortunately, these studies indicate...
140
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
143
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...