2520 search results - page 82 / 504 » Model-checking behavioral programs |
118
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
123
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
73
Voted
IUI
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...
96
Voted
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...