247 search results - page 2 / 50 » Development graphs - Proof management for structured specifi... |
PVM
1997
Springer
13 years 9 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...
VLDB
2001
ACM
14 years 5 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...
EGOV
2009
Springer
13 years 9 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...
ELPUB
1997
ACM
13 years 9 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...
CODES
2004
IEEE
13 years 9 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...