1264 search results - page 161 / 253 » Designing Safe, Reliable Systems using Scade |
118
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
We present SPOT, a scalable power observation tool that enables in situ measurement of nodal power and energy over a dynamic range exceeding four decades or a temporal resolution ...
121
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
127
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
122
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Transferring data reliably from Mars to Earth stations is becoming an appealing challenge in the design of interplanetary networks. In this view, the use of CCSDS-based protoco...
106
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, a new method for evolving simple electronic circuits is discussed, with the aim of improving the reliability and performance of basic circuit blocks. Next-generatio...