940 search results - page 90 / 188 » Local rely-guarantee reasoning |
105
click to vote
POPL
2009
ACM
14 years 11 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
APIN
1998
13 years 11 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
ICDE
2001
IEEE
15 years 15 days ago
2001
IEEE
The management of product-related data in a uniform and consistent way is a big challenge for many manufacturing enterprises, especially the large ones like DaimlerChrysler. So-ca...
HPCA
2007
IEEE
14 years 11 months ago
2007
IEEE
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
TLDI
2009
ACM
14 years 8 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...