574 search results - page 100 / 115 » Structured Parallel Simulation Modeling and Programming |
144
click to vote
MICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...
ENTCS
2000
15 years 1 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
136
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Network flow models serve as a popular mathematical framework for the analysis and optimization of Multi-hop Wireless Networks. They also serve to provide the understan...
116
click to vote
JSA
2000
15 years 1 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
122
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...