2036 search results - page 38 / 408 » Simulating On-the-Road Behavior Using a Driving Simulator |
106
click to vote
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
MJ
2008
15 years 1 months ago
2008
This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) coupled to virtual reality (VR) techniques for intuitive bio-nanorobotic prototyping. Us...
108
click to vote
CAV
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
IJON
2006
15 years 1 months ago
2006
The traditional dilemma for performing network simulations with analog circuits is the great difficulty of handling the connectivity in hardware. The main problem is that hardware...
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
: Stresses are considered an integral part of any modern industrial DRAM test. This paper describes a novel method to optimize stresses for memory testing, using defect injection a...