Sciweavers

10848 search results - page 82 / 2170
» Programming in Biomolecular Computation
Sort
View
IWPC
1999
IEEE
15 years 2 months ago
The SPARAMAT Approach to Automatic Comprehension of Sparse Matrix Computations
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
Christoph W. Keßler, Craig Smith
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 2 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
ACE
2004
171views Education» more  ACE 2004»
14 years 11 months ago
Teaching Computer Architecture in Introductory Computing: Why? and How?
This paper discusses our rationale for teaching the fundamentals of computer architecture early in the computer science (CS) degree program. We also describe an active learning te...
Kris D. Powers
JAIR
2012
211views Hardware» more  JAIR 2012»
13 years 5 days ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
ITICSE
2003
ACM
15 years 3 months ago
A media computation course for non-majors
Computing may well become considered an essential part of a liberal education, but introductory programming courses will not look like the way that they do today. Current CS1 cour...
Mark Guzdial