2756 search results - page 242 / 552 » Computation-Centric Memory Models |
171
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
188
Voted
IEEEPACT
1998
IEEE
15 years 10 months ago
1998
IEEE
Software fine-grain distributed shared memory (FGDSM) provides a simplified shared-memory programming interface with minimal or no hardware support. Originally software FGDSMs tar...
159
click to vote
SIROCCO
2008
15 years 7 months ago
2008
In the effort to understand the algorithmic limitations of computing by a swarm of robots, the research has focused on the minimal capabilities that allow a problem to be solved. ...
152
Voted
CEC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
171
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...