1482 search results - page 93 / 297 » Tailor-Made Operating Systems for Embedded Parallel Applicat... |
134
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
Parallel machines are typically space shared, or time shared such that only one application executes on a group of nodes at any given time. It is generally assumed that executing ...
121
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
144
Voted
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
108
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
133
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...