1133 search results - page 33 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
The prediction of protein 3D structure has become a hot research area in the post-genome era, through which people can understand a protein’s function in health and disease, exp...
IADIS
2004
13 years 11 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
CCGRID
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....