1133 search results - page 52 / 227 » Local Logics for Traces |
127
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
Researchers have proposed a number of tools for automatic bug localization. Given a program and a description of the failure, such tools pinpoint a set of statements that are most...
280
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
164
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
Improving program locality has become increasingly important on modern computer systems. An effective strategy is to group computations on the same data so that once the data are ...
152
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
277
click to vote
Publication
The size of computer networks, along with their bandwidths, is growing exponentially. To support these large, high-speed networks, it is neccessary to be able to forward packets in...