12333 search results - page 2155 / 2467 » System Level Modelling for Hardware Software Systems |
134
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
160
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
The increasing gap between processor and memory performance has led to new architectural models for memory-intensive applications. In this paper, we use a set of memory-intensive ...
140
click to vote
JCS
2011
14 years 12 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
116
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Fast Fourier transform (FFT) algorithms are used in a wide variety of digital signal processing applications and many of these require high-performance parallel implementations...
133
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...