755 search results - page 103 / 151 » Sequential Diagnosis by Abstraction |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
CLUSTER
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Large-scale parallel applications often produce immense quantities of data that need to be analyzed. To avoid performing repeated, costly disk accesses, analysis of larg...
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
ICANN
2009
Springer
14 years 15 days ago
2009
Springer
The sequential structure of complex actions is apparently at an abstract “cognitive” level in several regions of the frontal cortex, independent of the control of the immediate...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...