6960 search results - page 679 / 1392 » Continuity Analysis of Programs |
189
click to vote
SIGSOFT
2004
ACM
16 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
352
click to vote
PADL
2009
Springer
16 years 8 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
326
click to vote
POPL
2007
ACM
16 years 7 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...
237
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
224
click to vote
TAP
2007
Springer
16 years 1 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...