3154 search results - page 504 / 631 » Computing Closed Skycubes |
213
click to vote
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
191
click to vote
ICCSA
2004
Springer
16 years 6 days ago
2004
Springer
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
210
click to vote
CLUSTER
2003
IEEE
16 years 4 days ago
2003
IEEE
Debugging the performance of parallel and distributed systems remains a difficult task despite the widespread use of middleware packages for automatic distribution, communication...
238
click to vote
CSB
2003
IEEE
16 years 4 days ago
2003
IEEE
Recognition of a protein’s fold provides valuable information about its function. While many sequence-based homology prediction methods exist, an important challenge remains: tw...
181
click to vote
HPDC
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...