Sciweavers

1954 search results - page 22 / 391
» A requirements analysis for videogame design support tools
Sort
View
DAC
2006
ACM
14 years 8 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
ICDE
1995
IEEE
180views Database» more  ICDE 1995»
14 years 9 months ago
Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...
Alejandro P. Buchmann, Jürgen Zimmermann, Jos...
WSC
2008
13 years 10 months ago
Enhancing simulation as improvement and decision support system tool
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
Heriberto Garcia, Eduardo Garcia
GI
2005
Springer
14 years 1 months ago
Model-Based Requirements Engineering with AutoRAID
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
Bernhard Schätz, Andreas Fleischmann, Eva Gei...
ICCD
2004
IEEE
120views Hardware» more  ICCD 2004»
14 years 4 months ago
XTalkDelay: A Crosstalk-Aware Timing Analysis Tool for Chip-Level Designs
This paper describes XTalkDelay, an industrial-strength methodology and tool for measuring the impact of crosstalk on delays of paths in a design. The main cornerstone of XTalkDel...
Yinghua Li, Rajeev Murgai, Takashi Miyoshi, Ashwin...