3130 search results - page 356 / 626 » Design Correctness of Digital Systems |
150
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we present a simple analytical equation for capturing phase errors in 3-stage ring oscillators. The model, based on a simple but useful idealization of the ring osc...
152
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
184
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Individuals with certain types of central nervous system damage, such as stroke, have an asymmetric walking gait. Using a splitbelt treadmill, where each leg walks at a different ...
183
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
168
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...