957 search results - page 68 / 192 » Modular Static Program Analysis |
67
Voted
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
ERLANG
2004
ACM
15 years 5 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...