4940 search results - page 87 / 988 » On the Complexity of Universal Programs |
122
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
This paper describes a Java-based distance-education tool, called the Environment for Remote Programming Assignments in Java (JERPA), for use in computer science courses with Java...
152
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— The Mobile Robot Programming Laboratory course has been taught at Carnegie Mellon University for the past twelve years. It is a problem-driven class designed for students with ...
130
click to vote
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
128
click to vote
COCOON
2001
Springer
15 years 9 months ago
2001
Springer
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
131
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we propose an abstract procedure which, given a timed automaton, produces a language-equivalent deterministic infinite timed tree. We prove that under a certain boun...