215 search results - page 25 / 43 » Computing Branches Out: On Revitalizing Computing Education |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
A class of one-dimensional convolutional codes will be presented. They are all MDS codes, i. e., have the largest distance among all one-dimensional codes of the same length n and...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Our aim is to point out the benefits that can be derived from research advances in the implementation of concepts such as ambient intelligence and ubiquitous/pervasive computing f...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...