Sciweavers

1022 search results - page 84 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
RSP
2006
IEEE
120views Control Systems» more  RSP 2006»
14 years 4 months ago
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
Isabelle Hurbain, Corinne Ancourt, François...
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
14 years 4 months ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
DSD
2008
IEEE
127views Hardware» more  DSD 2008»
14 years 4 months ago
Measurement, Analysis and Modeling of RTOS System Calls Timing
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
Carlo Brandolese, William Fornaciari
RTCSA
1999
IEEE
14 years 2 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ICASSP
2010
IEEE
13 years 8 months ago
Towards objectifying information hiding
In this paper, the concept of object-oriented embedding (OOE) is introduced into information hiding in general and particularly to steganography which is the science that involves...
Abbas Cheddad, Joan Condell, Kevin Curran, Paul Mc...