2940 search results - page 421 / 588 » Relational Parametricity and Control |
123
Voted
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
126
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
159
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Computational phylogeny is a challenging application even for the most powerful supercomputers. It is also an ideal candidate for benchmarking emerging multiprocessor architecture...
159
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— For humanoid robots to fully realize their biped potential in a three-dimensional world and step over, around or onto obstacles such as stairs, appropriate and efficient appro...
145
Voted
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...