Sciweavers

2632 search results - page 392 / 527
» Alternating Timed Automata
Sort
View
IWMM
2004
Springer
101views Hardware» more  IWMM 2004»
15 years 7 months ago
Exploring the barrier to entry: incremental generational garbage collection for Haskell
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
WCW
2004
Springer
15 years 7 months ago
FatNemo: Building a Resilient Multi-source Multicast Fat-Tree
This paper proposes the idea of emulating fat-trees in overlays for multi-source multicast applications. Fat-trees are like real trees in that their branches become thicker the clo...
Stefan Birrer, Dong Lu, Fabián E. Bustamant...
ISQED
2010
IEEE
137views Hardware» more  ISQED 2010»
15 years 7 months ago
Automated silicon debug data analysis techniques for a hardware data acquisition environment
Abstract—Silicon debug poses a unique challenge to the engineer because of the limited access to internal signals of the chip. Embedded hardware such as trace buffers helps overc...
Yu-Shen Yang, Brian Keng, Nicola Nicolici, Andreas...
CGI
2003
IEEE
15 years 7 months ago
Immersive Vehicle Simulators for Prototyping, Training and Ergonomics
In most vehicle simulators, complete physical mockups equipped with steering wheel, gearshift and pedals are required. These devices are essential in trying to simulate real condi...
Marcelo Kallmann, Patrick Lemoine, Daniel Thalmann...
DATE
2003
IEEE
134views Hardware» more  DATE 2003»
15 years 7 months ago
A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Ri...