Sciweavers

682 search results - page 11 / 137
» Philosophical Issues in Computer Science
Sort
View
SIGCSE
2009
ACM
179views Education» more  SIGCSE 2009»
14 years 9 months ago
Methods, metrics and motivation for a green computer science program
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
Mujtaba Talebi, Thomas Way
SIGCSE
2003
ACM
137views Education» more  SIGCSE 2003»
14 years 1 months ago
Measuring the effectiveness of robots in teaching computer science
We report the results of a year-long experiment in the use of robots to teach computer science. Our data set compares results from over 800 students on identical tests from both r...
Barry S. Fagin, Laurence D. Merkle
SIGCSE
1999
ACM
193views Education» more  SIGCSE 1999»
14 years 27 days ago
Cache conscious programming in undergraduate computer science
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
Alvin R. Lebeck
WSPI
2004
13 years 10 months ago
Spinoza's Ontology
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
Jan Hladik
COMPUTER
2006
87views more  COMPUTER 2006»
13 years 8 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson