106 search results - page 8 / 22 » On the use of metatypes for safe embedded operating system e... |
ASPLOS
2004
ACM
14 years 28 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
WORDS
2002
IEEE
14 years 12 days ago
2002
IEEE
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...
CL
2008
Springer
13 years 7 months ago
2008
Springer
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...
CGI
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...