669 search results - page 7 / 134 » critical 2005 |
FM
2005
Springer
15 years 2 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
VSTTE
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
ISCA
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose “secret-protected (SP)” architecture to enable secure and convenient protection of critical secrets for a given user in an on-line environment. Keys are examples of...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
ASAP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...