247 search results - page 2 / 50 » Development graphs - Proof management for structured specifi... |
122
Voted
PVM
1997
Springer
15 years 5 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
177
Voted
VLDB
2001
ACM
16 years 1 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
101
Voted
EGOV
2009
Springer
15 years 5 months ago
2009
Springer
Castes, or endogamous kinship relationships, are prevalent in communities across the world and particularly in developing countries. Caste plays a strong role in determining commu...
113
Voted
ELPUB
1997
ACM
15 years 5 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
103
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...