1440 search results - page 59 / 288 » Third-Party Flow Control |
185
click to vote
SCAM
2005
IEEE
15 years 9 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...
136
click to vote
CSL
2005
Springer
15 years 9 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...
141
click to vote
DATE
2003
IEEE
15 years 9 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 ...
117
Voted
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In today’s Internet a user can be adversely affected by other users that overload the router. To address this problem, routers need to provide flow isolation. In this paper, we...
144
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...