Sciweavers

12107 search results - page 58 / 2422
» Software That Can Think
Sort
View
ISCA
1998
IEEE
123views Hardware» more  ISCA 1998»
14 years 9 days ago
Weak Ordering - A New Definition
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
Sarita V. Adve, Mark D. Hill
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
14 years 2 months ago
Braided teaching in secondary CS education: contexts, continuity, and the role of programming
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
Arno Pasternak, Jan Vahrenhold
AH
2008
Springer
14 years 2 months ago
Learner Modelling in Exploratory Learning for Mathematical Generalisation
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...
Mihaela Cocea
TIME
2007
IEEE
14 years 2 months ago
Towards a Science of Temporal Databases
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...
Richard T. Snodgrass
ICALP
2007
Springer
14 years 2 months ago
A "proof-reading" of Some Issues in Cryptography
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
Ivan Damgård