1492 search results - page 161 / 299 » Accessibility and computer science education |
195
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
163
click to vote
TCS
2011
15 years 1 months ago
2011
We formulate and study a new computational model for dynamic data. In this model, the data changes gradually and the goal of an algorithm is to compute the solution to some proble...
151
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
180
click to vote
HPCS
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
147
click to vote
JCB
1998
15 years 6 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...