Sciweavers

643 search results - page 59 / 129
» tools 1998
Sort
View
SIMULATION
1998
83views more  SIMULATION 1998»
13 years 9 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
FPL
1998
Springer
121views Hardware» more  FPL 1998»
14 years 2 months ago
Reconfigurable PCI-Bus Interface (RPCI)
In this paper the Peripheral Component Interface PCI is presented as a target/master reconfigurable interface, based on Programmable Logic Devices PLDs (the Field Programmable Gate...
A. Abo Shosha, P. Reinhart, F. Rongen
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 2 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
ICRA
1998
IEEE
118views Robotics» more  ICRA 1998»
14 years 2 months ago
A General Theory for Positioning and Orienting 2D Polygonal or Curved Parts using Intelligent Motion Surfaces
: In this paper we present novel algorithms to compute quasi-static and dynamic equilibrium positions and orientations (if any) of 2D polygonal or curved parts placed on general sh...
Murilo G. Coutinho, Peter M. Will
IPPS
1998
IEEE
14 years 2 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa