116 search results - page 3 / 24 » Designing New Programming Constructs in a Data Flow VL |
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
COMSIS
2007
13 years 6 months ago
2007
The aim of this paper is to discuss how our pattern-based strategy for the visualization of data and control flow can effectively be used to animate the program and exhibit its beh...
APLAS
2005
ACM
13 years 11 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 ...
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
PLDI
2006
ACM
14 years 15 hour ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...