1312 search results - page 150 / 263 » Embedded contract languages |
155
Voted
FMICS
2009
Springer
15 years 7 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
114
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
133
Voted
VLSISP
2008
15 years 3 months ago
2008
ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) is a templatized coarse-grained reconfigurable processor architecture. It targets at embedded applications whic...
140
click to vote
ACMICEC
2005
ACM
15 years 9 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
130
Voted
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...