Sciweavers

95 search results - page 8 / 19
» A Novel Functional Test Generation Method for Processors Usi...
Sort
View
DAC
2002
ACM
14 years 9 months ago
Software-based diagnosis for processors
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed test of high-speed microprocessors using low-cost testers. We explore the fault diagnos...
Li Chen, Sujit Dey
MVA
2007
127views Computer Vision» more  MVA 2007»
13 years 9 months ago
Assessment of Post-Stroke Functioning Using Machine Vision
We present a system to automatically assess the functional performance of stroke survivors along axes defined by the Arm Motor Ability Test (AMAT). The upper body motion of seven...
Sonya Allin, Deva Ramanan
AADEBUG
2005
Springer
13 years 10 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig
ICFP
2001
ACM
14 years 7 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
EMSOFT
2008
Springer
13 years 9 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh