5639 search results - page 710 / 1128 » Timed Abstract Non-interference |
263
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The basic idea to defend in this paper is that an adequate perception of the search space, sacrificing most of the precision, can paradoxically accelerate the discovery of the mo...
214
click to vote
CODES
2006
IEEE
16 years 29 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
190
click to vote
ICDCS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper is concerned with reducing communication costs when executing distributed user tasks in a sensor network. We take a service-oriented abstraction of sensor networks, whe...
186
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
170
click to vote
LOCA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...