Sciweavers

7092 search results - page 634 / 1419
» Parallelizing constraint programs
Sort
View
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
15 years 12 months ago
Grasp Recognition for Programming by Demonstration
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...
Staffan Ekvall, Danica Kragic
HIPC
2003
Springer
15 years 11 months ago
Thread Migration/Checkpointing for Type-Unsafe C Programs
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
Hai Jiang, Vipin Chaudhary
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 9 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
WOB
2004
120views Bioinformatics» more  WOB 2004»
15 years 7 months ago
Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming
ABSTRACT. Reconfigurable systolic arrays can be adapted to efficiently resolve a wide spectrum of computational problems; parallelism is naturally explored in systolic arrays and r...
Ricardo P. Jacobi, Mauricio Ayala-Rincón, L...
163
Voted
EMSOFT
2004
Springer
15 years 11 months ago
Loose synchronization of event-triggered networks for distribution of synchronous programs
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
Jan Romberg, Andreas Bauer 0002