Sciweavers

1022 search results - page 51 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
CGI
1999
IEEE
14 years 2 months ago
A Shape-Preserving Data Embedding Algorithm for NURBS Curves and Surfaces
Existing data embedding algorithms for polygonal meshes and their attributes can't be applied to the majority of (geometric) computer aided design (CAD) applications, for two...
Ryutarou Ohbuchi, Hiroshi Masuda, Masaki Aono
SEUS
2008
IEEE
14 years 4 months ago
A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
Florian Kluge, Sascha Uhrig, Jörg Mische, The...
DATE
2003
IEEE
140views Hardware» more  DATE 2003»
14 years 3 months ago
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
Franco Carbognani, Christopher K. Lennard, C. Norr...
RTCSA
1997
IEEE
14 years 2 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
ICECCS
2008
IEEE
122views Hardware» more  ICECCS 2008»
14 years 4 months ago
Efficient Embedded Runtime Systems through Port Communication Optimization
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
Peter H. Feiler