Sciweavers

1312 search results - page 108 / 263
» Embedded contract languages
Sort
View
DATE
2008
IEEE
165views Hardware» more  DATE 2008»
15 years 9 months ago
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
Per Lindgren, Johan Eriksson, Simon Aittamaa, Joha...
IWPC
2000
IEEE
15 years 7 months ago
Automated Quality Analysis of Component Software for Embedded Systems
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
Jens H. Jahnke, Jörg Niere, Jörg P. Wads...
162
Voted
CL
2008
Springer
15 years 3 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
CODES
2010
IEEE
15 years 1 months ago
Automatic parallelization of embedded software using hierarchical task graphs and integer linear programming
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
Daniel Cordes, Peter Marwedel, Arindam Mallik
278
Voted
ICDE
2000
IEEE
197views Database» more  ICDE 2000»
16 years 4 months ago
SQLServer for Windows CE - A Database Engine for Mobile and Embedded Platforms
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
Praveen Seshadri, Phil Garrett