2422 search results - page 329 / 485 » Composition of Services with Constraints |
167
click to vote
SOFSEM
2007
Springer
16 years 20 days ago
2007
Springer
Prior algorithms known for exactly solving Max 2-Sat improve upon the trivial upper bound only for very sparse instances. We present new algorithms for exactly solving (in fact, c...
158
click to vote
MICRO
2006
IEEE
16 years 17 days ago
2006
IEEE
VLIW and EDGE (Explicit Data Graph Execution) architectures rely on compilers to form high-quality hyperblocks for good performance. These compilers typically perform hyperblock f...
198
click to vote
CASSIS
2005
Springer
16 years 3 days ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
164
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
177
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...