5707 search results - page 219 / 1142 » Symbolic Simulation - Techniques and Applications |
156
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
153
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
We describe a transition fault model, which is easy to simulate under test sequences that are applied at-speed, and provides a target for the generation of at-speed test sequences...
164
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, a new tool dedicated to the analysis and the conception of molecules is presented. It is composed of an adaptive simulation software and a haptic device used to ...
190
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
176
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...