Sciweavers

9290 search results - page 1641 / 1858
» The Predictability of Data Values
Sort
View
ASYNC
2002
IEEE
112views Hardware» more  ASYNC 2002»
15 years 9 months ago
A Negative-Overhead, Self-Timed Pipeline
This paper presents a novel variation of wave pipelining that we call “surfing.” In previous wave pipelined designs, timing uncertainty grows monotonically as events propagat...
Mark R. Greenstreet, Brian D. Winters
ISBI
2002
IEEE
15 years 9 months ago
A shape reconstruction method for diffuse optical tomography using a transport model and level sets
A two-step shape reconstruction method for diffuse optical tomography (DOT) is presented which uses adjoint fields and level sets. The propagation of near-infrared photons in tis...
O. Dorn
ISCAS
2002
IEEE
125views Hardware» more  ISCAS 2002»
15 years 9 months ago
Switching activity estimation of finite state machines for low power synthesis
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
Mikael Kerttu, Per Lindgren, Mitchell A. Thornton,...
ISSRE
2002
IEEE
15 years 9 months ago
Mutation of Java Objects
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
Roger T. Alexander, James M. Bieman, Sudipto Ghosh...
KBSE
2002
IEEE
15 years 9 months ago
Deviation Analysis Through Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
« Prev « First page 1641 / 1858 Last » Next »