3112 search results - page 448 / 623 » Cluster Computing White Paper |
231
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Programming heterogeneous parallel computer systems is notoriously difficult, but MIMD models have proven to be portable across multi-core processors, clusters, and massively paral...
178
click to vote
RTCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
168
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
196
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
175
click to vote
WSC
2008
15 years 8 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...