Sciweavers

2645 search results - page 69 / 529
» time 2003
Sort
View
EUROPAR
2003
Springer
14 years 3 months ago
Replicated Placements in the Polyhedron Model
Abstract. Loop-carried code placement (LCCP) is able to remove redundant computations that cannot be recognized by traditional code motion techniques. However, this comes possibly ...
Peter Faber, Martin Griebl, Christian Lengauer
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
14 years 10 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
14 years 3 months ago
Time Domain Multiplexed TAM: Implementation and Comparison
One of the difficult problems which core-based systemon-chip (SoC) designs face is test access. For testing the cores in a SoC, a special mechanism is required, since they are no...
Zahra Sadat Ebadi, André Ivanov
ITCC
2003
IEEE
14 years 3 months ago
Timed Petri Net Representation of the Synchronized Multimedia Integration Language (SMIL) of XML
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...
Soon Myoung Chung, Anil L. Pereira
MASCOTS
2003
13 years 11 months ago
Zone-Based Shortest Positioning Time First Scheduling for MEMS-Based Storage Devices
Access latency to secondary storage devices is frequently a limiting factor in computer system performance. New storage technologies promise to provide greater storage densities a...
Bo Hong, Scott A. Brandt, Darrell D. E. Long, Etha...