4940 search results - page 27 / 988 » On the Complexity of Universal Programs |
120
Voted
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
105
click to vote
PLDI
1998
ACM
15 years 5 months ago
1998
ACM
Achieving good performance in bytecoded language interpreters is di cult without sacri cing both simplicity and portability. This is due to the complexity of dynamic translation (...
155
Voted
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
110
Voted
SIGUCCS
2009
ACM
15 years 6 months ago
2009
ACM
Frontline support and maintenance for desktop hardware and software systems at Princeton University has been uniquely structured, allowing the benefits of centralization and the f...
142
click to vote
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...