4940 search results - page 141 / 988 » On the Complexity of Universal Programs |
136
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
We present a new parallel programming tool environment that is (1) accessible and executable “anytime, anywhere,” through standard Web browsers and (2) integrated in that it p...
138
click to vote
ACSE
1996
ACM
15 years 9 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
125
click to vote
IRREGULAR
1997
Springer
15 years 9 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
163
click to vote
SIGCSE
1992
ACM
15 years 9 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
135
Voted
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...