1477 search results - page 58 / 296 » Token flow control |
106
Voted
ICPPW
2006
IEEE
15 years 6 months ago
2006
IEEE
Many important parallel applications require multiple flows of control to run on a single processor. In this paper, we present a study of four flow-of-control mechanisms: proces...
107
click to vote
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
160
Voted
SCAM
2005
IEEE
15 years 6 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
108
click to vote
CSL
2005
Springer
15 years 6 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
106
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...