243 search results - page 35 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
103
click to vote
DSN
2006
IEEE
15 years 7 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...
115
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
104
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...