Sciweavers

2388 search results - page 215 / 478
» Kernel information embeddings
Sort
View
MMSEC
2004
ACM
133views Multimedia» more  MMSEC 2004»
16 years 6 hour ago
Data hiding on 3D polygonal meshes
This paper presents a high-capacity method to embed information into the geometry of a 3D polygonal mesh. The method extends a previously reported work, to which several improveme...
Yannick Maret, Touradj Ebrahimi
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 12 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
RTSS
2003
IEEE
15 years 12 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
RTCSA
2000
IEEE
15 years 11 months ago
Using importance of transactions and optimistic concurrency control in firm real-time databases
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
Jan Lindström, Kimmo E. E. Raatikainen
RTCSA
2000
IEEE
15 years 11 months ago
Extracting safe and precise control flow from binaries
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
Henrik Theiling