Sciweavers

175 search results - page 7 / 35
» A plug-and-play model for evaluating wavefront computations ...
Sort
View
SPIN
2007
Springer
14 years 3 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
IPPS
2006
IEEE
14 years 3 months ago
High-level execution and communication support for parallel grid applications in JGrid
This paper describes the high-level execution and communication support provided in JGrid, a serviceoriented dynamic grid framework. One of its core services, the Compute Service,...
Szabolcs Pota, Zoltan Juhasz
SPAA
2010
ACM
14 years 1 months ago
Towards optimizing energy costs of algorithms for shared memory architectures
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
Vijay Anand Korthikanti, Gul Agha
ICS
2007
Tsinghua U.
14 years 3 months ago
Tradeoff between data-, instruction-, and thread-level parallelism in stream processors
This paper explores the scalability of the Stream Processor architecture along the instruction-, data-, and thread-level parallelism dimensions. We develop detailed VLSI-cost and ...
Jung Ho Ahn, Mattan Erez, William J. Dally
ISORC
2008
IEEE
14 years 3 months ago
Scenario Based Evaluation
The concept of a scenario has long been utilized in military procurement as a means of evaluating capability in an operational context. With the advent of initiatives such as the ...
Nik Looker, David Webster, Duncan Russell, Jie Xu