1730 search results - page 185 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
165
Voted
ICPADS
2007
IEEE
16 years 17 days ago
2007
IEEE
Min, Veeravalli, and Barlas have recently proposed strategies to minimize the overall execution time of one or several divisible loads on a heterogeneous linear network, using one...
151
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— A planning method for knotting/unknotting and tightening manipulation of deformable linear objects is proposed. It is important for linear object manipulation in industrial/med...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
363
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
179
click to vote
CSCWD
2001
Springer
15 years 10 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...