Sciweavers

3730 search results - page 126 / 746
» Robust design of embedded systems
Sort
View
EMSOFT
2008
Springer
15 years 2 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
131
Voted
CL
2008
Springer
15 years 27 days ago
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaem...
VLSID
2009
IEEE
108views VLSI» more  VLSID 2009»
16 years 1 months ago
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
Forrest Brewer, João Pedro Hespanha, Nitin ...
120
Voted
JEI
2006
78views more  JEI 2006»
15 years 23 days ago
Lapped-orthogonal-transform-based adaptive image watermarking
A robust, invisible watermarking scheme is proposed for digital images, where the watermark is embedded using the blockbased lapped orthogonal transform (LOT). The embedding proces...
Yuxin Liu, Bin Ni, Xiaojun Feng, Edward J. Delp
110
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 6 months ago
Safe Automotive Software Development
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern...