Sciweavers

6701 search results - page 135 / 1341
» Medical Embedded Systems
Sort
View
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 8 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICMCS
2006
IEEE
92views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Watermark Synchronization for Feature-Based Embedding: Application to Speech
We propose a novel framework for synchronization in feature-based data embedding systems. The framework is tolerant to de-synchronizing errors in feature estimates, which have hit...
David J. Coumou, Gaurav Sharma
EMSOFT
2004
Springer
15 years 9 months ago
An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
Sangsoo Park, Yonghee Lee, Heonshik Shin
ISCAS
2008
IEEE
106views Hardware» more  ISCAS 2008»
15 years 10 months ago
A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design
C-based design techniques and methodologies have been proposed to tackle the complexity of heterogeneous embedded systems. The heterogeneity comes in the functionalities and the im...
Omar Hammami, Zoukun Wang, Virginie Fresse, Domini...
HASE
1997
IEEE
15 years 8 months ago
A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
Mehrdad Hassani, David B. Stewart