Sciweavers

7628 search results - page 134 / 1526
» Automatic Generation of the C
Sort
View
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
15 years 10 months ago
Certification Support for Automatically Generated Programs
Johann Schumann, Bernd Fischer 0002, Michael W. Wh...
CCS
2003
ACM
15 years 10 months ago
Automatic generation of two-party computations
Philip D. MacKenzie, Alina Oprea, Michael K. Reite...
DATE
2010
IEEE
166views Hardware» more  DATE 2010»
15 years 9 months ago
GoldMine: Automatic assertion generation using data mining and static analysis
Shobha Vasudevan, David Sheridan, Sanjay J. Patel,...