Sciweavers

15792 search results - page 114 / 3159
» Computational Abstraction Steps
Sort
View
SOFSEM
2009
Springer
14 years 6 months ago
Abstract Storage Devices
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009
Robert König, Ueli M. Maurer, Stefano Tessaro
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
14 years 3 months ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali
CIE
2006
Springer
14 years 1 months ago
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
traction for an Object-Oriented Calculus with Thread Classes Erika
Erika Ábrahám, Andreas Grüner, ...