Sciweavers

2311 search results - page 263 / 463
» A Distributed Platform for Mechanism Design
Sort
View
ICONFERENCE
2011
15 years 5 hour ago
Infrastructures to imagine: the Mexican internet industry
The Internet provides a technical platform that can be used by start-ups in every country to launch innovative products for world markets. Yet, most of the successful Internet pro...
Ruy Cervantes
IPPS
2006
IEEE
15 years 11 months ago
Dynamic power saving in fat-tree interconnection networks using on/off links
Current trends in high-performance parallel computers show that fat-tree interconnection networks are one of the most popular topologies. The particular characteristics of this to...
Marina Alonso, Salvador Coll, Juan Miguel Mart&iac...
HPCA
2007
IEEE
16 years 5 months ago
A Scalable, Non-blocking Approach to Transactional Memory
Transactional Memory (TM) provides mechanisms that promise to simplify parallel programming by eliminating the need for locks and their associated problems (deadlock, livelock, pr...
Hassan Chafi, Jared Casper, Brian D. Carlstrom, Au...
IPPS
1999
IEEE
15 years 9 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
WWW
2004
ACM
16 years 5 months ago
A semantic matchmaker service on the grid
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...
Andreas Harth, Stefan Decker, Yu He, Hongsuda Tang...