Sciweavers

6014 search results - page 40 / 1203
» Parametric Analysis of Computer Systems
Sort
View
76
Voted
JAR
2011
49views more  JAR 2011»
14 years 7 months ago
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Véronique Cortier, Steve Kremer, Bogdan War...
78
Voted
TRETS
2010
86views more  TRETS 2010»
14 years 7 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»
14 years 11 months ago
A new tool for the performance analysis of massively parallel computer systems
Anton Stefanek, Richard A. Hayden, Jeremy T. Bradl...