Sciweavers

15792 search results - page 114 / 3159
» Computational Abstraction Steps
Sort
View
76
Voted
SOFSEM
2009
Springer
16 years 28 days 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»
15 years 10 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
15 years 7 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, ...