1133 search results - page 158 / 227 » Local Logics for Traces |
149
click to vote
ISCA
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper discusses three techniques useful in relaxing the constraints imposed by control flow on parallelism: control dependence analysis, executing multiple flows of control s...
227
click to vote
LCPC
1992
Springer
15 years 10 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
163
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The design of the IP protocol makes it difficult to reliably identify the originator of an IP packet making the defense against Distributed Denial of Service attacks one of the ha...
160
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Photon tracing and density estimation are well established techniques in global illumination computation and rendering of high-quality animation sequences. Using traditional densi...
161
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...