Sciweavers

4745 search results - page 489 / 949
» Discretization: An Enabling Technique
Sort
View
COMPSAC
2005
IEEE
16 years 20 days ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
DATE
2005
IEEE
125views Hardware» more  DATE 2005»
16 years 19 days ago
Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
André C. Nácul, Tony Givargis
DFT
2005
IEEE
126views VLSI» more  DFT 2005»
16 years 19 days ago
Analysis and Testing for Error Tolerant Motion Estimation
We propose a novel system-level error tolerance approach specifically targeted for multimedia compression algorithms. In particular we focus on the motion estimation process perf...
Hyukjune Chung, Antonio Ortega
FDL
2005
IEEE
16 years 19 days ago
Automatic synthesis of the Hardware/Software Interface
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
Francesco Regazzoni, André C. Nácul,...
HAPTICS
2005
IEEE
16 years 19 days ago
Medical Training Simulation for Palpation of Subsurface Tumor Using HIRO
Multi-fingers haptic device that enables multiple point of contact is essential for medical education. There is a strong need for palpation training in the detection of subsurface...
M. Osama Alhalabi, Vytautas Daniulaitis, Haruhisa ...