1312 search results - page 130 / 263 » Embedded contract languages |
153
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
132
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
133
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A barycentric mapping of a planar graph is a plane embedding in which every internal vertex is the average of its neighbours. A celebrated result of Tutte’s [16] is that if a pl...
160
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
116
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...