Sciweavers

3730 search results - page 343 / 746
» Robust design of embedded systems
Sort
View
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 4 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
ICESS
2005
Springer
16 years 9 days ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
MEMOCODE
2010
IEEE
15 years 4 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
ICMCS
2007
IEEE
180views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Discrete Regularization for Perceptual Image Segmentation via Semi-Supervised Learning and Optimal Control
In this paper, we present a regularization approach on discrete graph spaces for perceptual image segmentation via semisupervised learning. In this approach, first, a spectral cl...
Hongwei Zheng, Olaf Hellwich
ICMCS
2006
IEEE
168views Multimedia» more  ICMCS 2006»
16 years 25 days ago
The Watermarking for 3D CAD Drawing using Line, ARC, 3DFACE Components
Currently there has been much interested in developing the watermarking for 3D graphic data of mesh model or NURBS. However, the watermarking technique based on 3D CAD drawing lea...
Ki-Ryong Kwon, Jae-Sik Sohn, Young Huh, Suk Hwan L...