4074 search results - page 59 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
108
click to vote
ICARCV
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper, we propose solutions to real time simulation and interaction of deformable objects in virtual reality. Firstly, we present LEM - Long Element Method, a method creat...
71
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
– Floorplanning large designs with many hard macros and IP blocks of various sizes is becoming an increasingly important and challenging problem. This paper presents a global flo...
ANSS
2000
IEEE
15 years 2 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
FCCM
2006
IEEE
15 years 1 months ago
2006
IEEE
With advances in reconfigurable hardware, especially field-programmable gate arrays (FPGAs), it has become possible to use reconfigurable hardware to accelerate complex applicatio...