7092 search results - page 1142 / 1419 » Parallelizing constraint programs |
122
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
148
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
127
click to vote
DCOSS
2005
Springer
15 years 8 months ago
2005
Springer
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
125
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Instruction delivery is a critical component for wide-issue processors since its bandwidth and accuracy place an upper limit on performance. The processor front-end accuracy and ba...
115
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...