Sciweavers

20175 search results - page 35 / 4035
» Is abstraction the key to computing
Sort
View
ACM
1993
15 years 4 months ago
Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science
ional Frameworks: Toolkits and Abstractions In Introductory Computer Science Cynthia Brown, Harriet Fell, Viera Proulx, Richard Rasala College of Computer Science, Northeastern Uni...
Cynthia A. Brown, Harriet J. Fell, Viera K. Proulx...
68
Voted
FMCAD
2009
Springer
15 years 7 months ago
Structure-aware computation of predicate abstraction
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland
Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti...
120
Voted
CAV
2006
Springer
117views Hardware» more  CAV 2006»
15 years 4 months ago
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya S...
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
15 years 4 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
106
Voted
TPDS
2010
185views more  TPDS 2010»
14 years 11 months ago
All-Pairs: An Abstraction for Data-Intensive Computing on Campus Grids
s: An Abstraction for Data Intensive Computing on Campus Grids Christopher Moretti, Hoang Bui, Karen Hollingsworth, Brandon Rich, Patrick Flynn, and Douglas Thain Department of Com...
Christopher Moretti, Hoang Bui, Karen Hollingswort...