Sciweavers

5707 search results - page 79 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
CSFW
2010
IEEE
15 years 1 months ago
A Game-Based Definition of Coercion-Resistance and Its Applications
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have posed in the literature,...
Ralf Küsters, Tomasz Truderung, Andreas Vogt
SAMOS
2010
Springer
14 years 8 months ago
A trace-based scenario database for high-level simulation of multimedia MP-SoCs
—High-level simulation and design space exploration nowadays are key ingredients for system-level design of modern multimedia embedded systems. The majority of the work in this a...
Peter van Stralen, Andy D. Pimentel
ISCAS
2006
IEEE
121views Hardware» more  ISCAS 2006»
15 years 3 months ago
A frequency domain based TEQ design for DSL systems
that the equivalent channel is approximately an impulse. In [7], Martin et al. propose a globally convergent blind adap-In this paper, we propose a frequency domain based de- tive ...
Yuan-Pei Lin, Yu-Pin Lin, See-May Phoong
EUROPAR
2004
Springer
15 years 3 months ago
Modular On-chip Multiprocessor for Routing Applications
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...
Saifeddine Berrayana, Etienne Faure, Daniela Geniu...
ASAP
2003
IEEE
141views Hardware» more  ASAP 2003»
15 years 3 months ago
Automatic Instruction Set Extension and Utilization for Embedded Processors
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
Armita Peymandoust, Laura Pozzi, Paolo Ienne, Giov...