14 search results - page 1 / 3 » Verification of Parallel Systems via Decomposition |
CONCUR
1992
Springer
13 years 9 months ago
1992
Springer
IPPS
2002
IEEE
13 years 10 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
CONCUR
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...