Sciweavers

4385 search results - page 195 / 877
» Abstraction for Concurrent Objects
Sort
View
IJAHUC
2011
80views more  IJAHUC 2011»
14 years 2 months ago
The Smart Home meets the Web of Things
: In recent years, the merging of computing with physical things, enabled the transformation of everyday objects into information appliances. We propose to reuse the central princi...
Andreas Kamilaris, Andreas Pitsillides, Vlad Trifa
SOSP
2009
ACM
15 years 8 months ago
PRES: probabilistic replay with execution sketching on multiprocessors
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...
Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning ...
FP
1992
135views Formal Methods» more  FP 1992»
15 years 3 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
CONCURRENCY
2006
142views more  CONCURRENCY 2006»
14 years 11 months ago
A Grid service broker for scheduling e-Science applications on global data Grids
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
Srikumar Venugopal, Rajkumar Buyya, Lyle J. Winton
CONCURRENCY
2002
230views more  CONCURRENCY 2002»
14 years 11 months ago
Economic models for resource management and scheduling in Grid computing
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...
Rajkumar Buyya, David Abramson, Jonathan Giddy, He...