4940 search results - page 16 / 988 » On the Complexity of Universal Programs |
INTERNET
2010
13 years 5 months ago
2010
nstrate how the respective architectural abstractions support increasingly complex application. Gerd Kortuem and Fahim Kawsar Lancaster University Daniel Fitton University of Centr...
DELFI
2003
13 years 8 months ago
2003
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
ENTCS
2007
13 years 7 months ago
2007
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
FOCS
2009
IEEE
14 years 2 months ago
2009
IEEE
We prove that the problem of computing an Arrow-Debreu market equilibrium is PPAD-complete even when all traders use additively separable, piecewise-linear and concave utility fun...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...