3107 search results - page 605 / 622 » Error-Correcting Source Code |
DAGSTUHL
1996
13 years 9 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
USENIX
1993
13 years 9 months ago
1993
AudioFile is a portable, device-independent, network-transparent system for computer audio systems. to the X Window System, it provides an abstract audio device interface with a s...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
MM
2010
ACM
13 years 8 months ago
2010
ACM
TalkMiner is a search engine for lecture webcasts. Lecture videos are processed to recover a set of distinct slide images and OCR is used to generate a list of indexable terms fro...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...