Sciweavers

22698 search results - page 4397 / 4540
» Modeling in Software Engineering
Sort
View
DSVIS
2008
Springer
14 years 12 months ago
Resources for Situated Actions
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
Gavin J. Doherty, José Creissac Campos, Mic...
ATMOS
2007
129views Optimization» more  ATMOS 2007»
14 years 11 months ago
Applied Railway Optimization in Production Planning at DSB S-tog - tasks, tools and challenges
Efficient public transportation is becoming increasingly vital for modern capitals. DSB S-tog a/s is the major supplier of rail traffic on the infrastructure of the city-rail netwo...
Jens Clausen
FMICS
2008
Springer
14 years 11 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
FPL
2008
Springer
111views Hardware» more  FPL 2008»
14 years 11 months ago
Sampling from the exponential distribution using independent Bernoulli variates
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
David B. Thomas, Wayne Luk
108
Voted
FPL
2008
Springer
207views Hardware» more  FPL 2008»
14 years 11 months ago
Bitstream compression techniques for Virtex 4 FPGAs
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...
Radu Stefan, Sorin Dan Cotofana
« Prev « First page 4397 / 4540 Last » Next »