Sciweavers

6014 search results - page 40 / 1203
» Parametric Analysis of Computer Systems
Sort
View
JAR
2011
49views more  JAR 2011»
13 years 6 months ago
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Véronique Cortier, Steve Kremer, Bogdan War...
TRETS
2010
86views more  TRETS 2010»
13 years 5 months ago
A Simulation Framework for Rapid Analysis of Reconfigurable Computing Systems
Casey Reardon, Eric Grobelny, Alan D. George, Gong...
CORR
2010
Springer
74views Education» more  CORR 2010»
13 years 9 months ago
A new tool for the performance analysis of massively parallel computer systems
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradl...