4940 search results - page 399 / 988 » On the Complexity of Universal Programs |
182
click to vote
FPLE
1995
15 years 10 months ago
1995
Computer science students need mathematical proof skills. At our University, these skills are being taught as part of various mathematics and computer science courses. To test the ...
182
click to vote
CATS
2007
15 years 8 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
176
click to vote
ECIS
2001
15 years 8 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
182
click to vote
IADIS
2003
15 years 8 months ago
2003
The issue of quality assurance has been on the agenda of distance and open teachinguniversities for many years. In such a context, the development of high quality study materials ...
169
click to vote
MVA
1994
15 years 8 months ago
1994
In our work we improve the EPPI programming environment, which was made in the University of Castilla - la Mancha one year ago. EPPI is a tool for simulating parallel algorithms t...