1730 search results - page 185 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
119
Voted
ICPADS
2007
IEEE
15 years 9 months 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...
112
Voted
ICRA
2005
IEEE
15 years 8 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...
125
Voted
CORR
2010
Springer
15 years 2 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 ...
272
Voted
SPIN
2012
Springer
13 years 5 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...
131
click to vote
CSCWD
2001
Springer
15 years 7 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 ...