2689 search results - page 39 / 538 » ParalleX: A Study of A New Parallel Computation Model |
WSCG
2000
13 years 10 months ago
2000
The article offers a new approach towards the construction of recognition features independent of images' displacement or linear deformation. The distinguishing characteristi...
CCGRID
2008
IEEE
13 years 10 months ago
2008
IEEE
Production grids are complex and highly variable systems whose behavior is not well understood and difficult to anticipate. The goal of this study is to estimate the impact of the ...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
SC
2004
ACM
14 years 2 months ago
2004
ACM
This paper presents a parallel visualization pipeline implemented at the Pittsburgh Supercomputing Center (PSC) for studying the largest earthquake simulation ever performed. The ...
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
To balance performance goals and allow administrators to declaratively specify high-level performance goals, we apply complete search algorithms to design on-line job scheduling p...