Sciweavers

1611 search results - page 138 / 323
» A Library for Self-Adjusting Computation
Sort
View
IPPS
2006
IEEE
16 years 15 days ago
Support for adaptivity in ARMCI using migratable objects
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
Chao Huang, Chee Wai Lee, Laxmikant V. Kalé
ACL2
2006
ACM
16 years 14 days ago
Parameterized congruences in ACL2
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
David Greve
PKDD
2005
Springer
136views Data Mining» more  PKDD 2005»
15 years 12 months ago
Weka4WS: A WSRF-Enabled Weka Toolkit for Distributed Data Mining on Grids
This paper presents Weka4WS, a framework that extends the Weka toolkit for supporting distributed data mining on Grid environments. Weka4WS adopts the emerging Web Services Resourc...
Domenico Talia, Paolo Trunfio, Oreste Verta
PVM
2005
Springer
15 years 12 months ago
Designing a Common Communication Subsystem
Communication subsystems are used in high-performance parallel computing systems to abstract the lower network layer. By using a communication subsystem, an upper middleware librar...
Darius Buntinas, William Gropp
HICSS
2003
IEEE
162views Biometrics» more  HICSS 2003»
15 years 11 months ago
Decision Support Models for Composing and Navigating through e-Learning Objects
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
Gerhard Knolmayer