198 search results - page 36 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
ICS
2009
Tsinghua U.
14 years 3 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The Charm++ parallel programming system provides a modular performance interface that can be used to extend its performance measurement and analysis capabilities. The in...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Extending network lifetime of battery-operated devices is a key design issue that allows uninterrupted information exchange among distributive nodes in wireless sensor ...
INTERNET
2008
13 years 8 months ago
2008
straction and explained how the Representational State Transfer (REST) architectural style is one alternative that can yield a superior approach to building distributed systems. Be...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...