Sciweavers

632 search results - page 61 / 127
» The Basics of Performance-Monitoring Hardware
Sort
View
APSEC
2005
IEEE
15 years 3 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ISCAS
2005
IEEE
178views Hardware» more  ISCAS 2005»
15 years 3 months ago
Lifting-based multi-view image coding
—A number of lifting-based video coding schemes have been recently proposed for scalable video coding. In this paper, we present a novel multi-view image codec based on a wavelet...
Nantheera Anantrasirichai, Cedric Nishan Canagaraj...
ISCAS
2005
IEEE
137views Hardware» more  ISCAS 2005»
15 years 3 months ago
Direct-digital synthesis using delta-sigma modulated signals
Abstract— A new technique that use of DSM signal in a common technique for dgitally synthesizing an arbitrary waveform, which is generally known as direct-digital synthesis (DDS)...
Yuichiro Orino, Minoru Kuribayashi Kurosawa, Takas...
SIGCSE
2005
ACM
102views Education» more  SIGCSE 2005»
15 years 3 months ago
Interpreting Java program runtimes
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...
Stuart A. Hansen
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 3 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone