5241 search results - page 543 / 1049 » Embedded Programming with C |
154
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
132
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
144
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
This paper proposes a non-uniform cache architecture for reducing the power consumption of memory systems. The nonuniform cache allows having different associativity values (i.e.,...
132
click to vote
ADAEUROPE
2005
Springer
15 years 11 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
131
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...