5109 search results - page 589 / 1022 » On Learning Limiting Programs |
185
click to vote
ENTCS
2008
15 years 7 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
179
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
166
click to vote
JBI
2006
15 years 6 months ago
2006
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
167
click to vote
PUC
2006
15 years 6 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...
161
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...