247 search results - page 2 / 50 » Development graphs - Proof management for structured specifi... |
109
click to vote
PVM
1997
Springer
15 years 3 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...
159
click to vote
VLDB
2001
ACM
15 years 12 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...
90
Voted
EGOV
2009
Springer
15 years 3 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
15 years 3 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
15 years 3 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...