7092 search results - page 1187 / 1419 » Parallelizing constraint programs |
114
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
130
click to vote
WSC
2008
15 years 4 months ago
2008
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...
117
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
112
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
116
click to vote
FPL
2008
Springer
15 years 3 months ago
2008
Springer
Wavefront algorithms, such as the Smith-Waterman algorithm, are commonly used in bioinformatics for exact local and global sequence alignment. These algorithms are highly computat...