137
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
134
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
145
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
122
click to vote
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Experience has shown that development using shared-memory concurrency, the prevalent parallel programming paradigm today, is hard and synchronization primitives nonintuitive becaus...
