5639 search results - page 1064 / 1128 » Timed Abstract Non-interference |
101
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...
107
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
125
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
134
Voted
SAC
2004
ACM
15 years 7 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
167
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...