Sciweavers

11345 search results - page 79 / 2269
» Foundations of Computer Science
Sort
View
FMSD
2010
118views more  FMSD 2010»
13 years 8 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
SC
2009
ACM
14 years 5 months ago
Many task computing for multidisciplinary ocean sciences: real-time uncertainty prediction and data assimilation
Error Subspace Statistical Estimation (ESSE), an uncertainty prediction and data assimilation methodology employed for real-time ocean forecasts, is based on a characterization an...
Constantinos Evangelinos, Pierre F. J. Lermusiaux,...
SIGPLAN
2008
13 years 10 months ago
Programming languages as part of core computer science
While the programming languages course played a key role in Curricula '68, '78, and '91, Curriculum 2001 replaced most of the content in programming languages with ...
Kim B. Bruce, Stephen N. Freund
SIGCSE
1994
ACM
172views Education» more  SIGCSE 1994»
14 years 2 months ago
Collaborative learning in an introductory computer science course
An experiment in collaborative learning was conducted in two introductory programming courses at Loyola College in Maryland. Data collected included background information on stud...
Roberta Evans Sabin, Edward P. Sabin
SIGCSE
2002
ACM
185views Education» more  SIGCSE 2002»
13 years 9 months ago
Computer science accessibility for students with visual disabilities
Students with visual disabilities face unique challenges in learning to be computer scientists. These challenges can be overcome, however, with the use of specialized software too...
Joan M. Francioni, Ann C. Smith