Sciweavers

636 search results - page 11 / 128
» Computational Engineering and Science Program at the Univers...
Sort
View
ATVA
2008
Springer
99views Hardware» more  ATVA 2008»
13 years 9 months ago
Model Checking Recursive Programs with Exact Predicate Abstraction
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
Arie Gurfinkel, Ou Wei, Marsha Chechik
SIGCSE
2008
ACM
132views Education» more  SIGCSE 2008»
13 years 7 months ago
A case study of retention practices at the University of Illinois at Urbana-Champaign
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...
Tanya L. Crenshaw, Erin W. Chambers, Heather Metca...
CANDC
2007
ACM
13 years 11 months ago
Propagating collaboration: an instructional methodology for artists and engineers
This paper reports on a transdisciplinary undergraduate university course designed to bring together fine art/visual communication design and computer science students for the cre...
Elif E. Ayiter, Selim Balcisoy, Murat Germen, Selc...
SIGCSE
1999
ACM
83views Education» more  SIGCSE 1999»
14 years 2 days ago
Global cooperation project in computer programming course
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...
Thomas Macek, Bozena Mannova, Josef Kolar, Barbara...
ENTCS
2010
96views more  ENTCS 2010»
13 years 5 months ago
Programming in Biomolecular Computation
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen