1452 search results - page 114 / 291 » Algorithmic Analysis of Array-Accessing Programs |
102
click to vote
SCAM
2003
IEEE
15 years 5 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
146
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
108
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
91
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
141
click to vote
NETWORKING
2008
15 years 1 months ago
2008
Caching popular content in the Internet has been recognized as one of the effective solution to alleviate network congestion and accelerate user information access. Sharing and coo...