Sciweavers

12289 search results - page 157 / 2458
» computing 2006
Sort
View
CAV
2006
Springer
117views Hardware» more  CAV 2006»
15 years 7 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...
CCCG
2006
15 years 4 months ago
On Computing Shortest External Watchman Routes for Convex Polygons
We study the relationship between the interior angles of a convex polygon and the lengths of external watchman routes.
Rafa Absar, Sue Whitesides
FECS
2006
115views Education» more  FECS 2006»
15 years 4 months ago
Finding Reasons and Conclusion in a Basic Computer Science Course
This paper discusses infusing the critical thinking skill of finding reasons and conclusions in a basic
Kanaan A. Faisal, Ahmed Bagais, M. R. K. Krishna R...
CONCURRENCY
2006
94views more  CONCURRENCY 2006»
15 years 3 months ago
The CCA component model for high-performance scientific computing
Robert C. Armstrong, Gary Kumfert, Lois C. McInnes...
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 3 months ago
Neural Computation with Rings of Quasiperiodic Oscillators
ed from the Physical Sciences Inc. Library. Abstract available at http://www.psicorp.com/publications/sr-1278.shtml
Edward A. Rietman, R. W. Hillis