Sciweavers

2317 search results - page 177 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
SIGIR
1995
ACM
13 years 12 months ago
Design of a Reusable IR Framework
In this paper, we describe the design of a reusable IR framework, called FIRE, that is being implemented to facilitate the development of IR systems. In addition, FIRE is designed...
Gabriele Sonnenberger, Hans-Peter Frei
VTS
2007
IEEE
116views Hardware» more  VTS 2007»
14 years 2 months ago
Case Study: Soft Error Rate Analysis in Storage Systems
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
Brian Mullins, Hossein Asadi, Mehdi Baradaran Taho...
FMICS
2009
Springer
14 years 2 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
ICRA
2002
IEEE
175views Robotics» more  ICRA 2002»
14 years 1 months ago
Flying Robots: Modeling, Control and Decision Making
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
H. Jin Kim, David Hyunchul Shim, Shankar Sastry
ICCAD
2001
IEEE
108views Hardware» more  ICCAD 2001»
14 years 5 months ago
Placement Driven Retiming with a Coupled Edge Timing Model
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
Ingmar Neumann, Wolfgang Kunz