Sciweavers

1204 search results - page 170 / 241
» Parallel concurrent ML
Sort
View
117
Voted
ISPDC
2006
IEEE
15 years 9 months ago
MojaveFS: Providing Sequential Consistency in a Distributed Objects System
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
Cristian Tapus, David A. Noblet, Vlad Grama, Jason...
90
Voted
CCGRID
2005
IEEE
15 years 9 months ago
Co-reservation with the concept of virtual resources
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
Thomas Röblitz, Alexander Reinefeld
ISORC
2005
IEEE
15 years 9 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
117
Voted
VLSID
2005
IEEE
107views VLSI» more  VLSID 2005»
15 years 9 months ago
Design, Testing, and Applications of Digital Microfluidics-Based Biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
Krishnendu Chakrabarty
97
Voted
ATAL
2005
Springer
15 years 9 months ago
Towards an agent oriented programming language with caste and scenario mechanisms
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
Ji Wang, Rui Shen, Hong Zhu