518 search results - page 9 / 104 » Accelerated Data-Flow Analysis |
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
ASM
2010
ASM
15 years 1 months ago
2010
ASM
ENTCS
2007
14 years 9 months ago
2007
JISE
1998
14 years 9 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
SAS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...