Sciweavers

3405 search results - page 289 / 681
» Distributed Application Development with Inferno
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ICDCS
2006
IEEE
16 years 21 days ago
PastryStrings: A Comprehensive Content-Based Publish/Subscribe DHT Network
In this work we propose and develop a comprehensive infrastructure, coined PastryStrings, for supporting rich queries on both numerical (with range, and comparison predicates) and...
Ioannis Aekaterinidis, Peter Triantafillou
PPOPP
2005
ACM
16 years 6 days ago
Performance modeling and optimization of parallel out-of-core tensor contractions
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J...
ITS
2004
Springer
105views Multimedia» more  ITS 2004»
16 years 17 hour ago
The Massive User Modelling System (MUMS)
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
Christopher A. Brooks, Mike Winter, Jim E. Greer, ...
APSEC
2002
IEEE
15 years 11 months ago
e-Science Experiences: Software Engineering Practice and the EU DataGrid
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...
Lee Momtahan, Andrew Martin