452 search results - page 62 / 91 » Symbolic Execution of Behavioral Requirements |
102
click to vote
CGO
2005
IEEE
15 years 4 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...
123
Voted
RV
2009
Springer
15 years 3 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
121
Voted
SRDS
1998
IEEE
15 years 3 months ago
1998
IEEE
A major cost in executing queries in a distributed database system is the data transfer cost incurred in transferring relations (fragments) accessed by a query from different site...
80
Voted
SIGMETRICS
1996
ACM
15 years 3 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper we analyze the behavior of K non-cooperative schedu...