4480 search results - page 113 / 896 » Prototyping Completion with Constraints Using Computational ... |
177
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
Heterogeneity has been considered in scheduling, but without taking into account the temporal variation of completion times of the sub-tasks for a divisible, independent task. In ...
209
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
146
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
In future high-performance systems it will be essential to balance often-conflicting objectives of performance, power, energy, and temperature under variable workload and environ...
216
click to vote
ICDT
2009
ACM
15 years 4 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
169
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...