1411 search results - page 105 / 283 » Interactive Coding for Interactive Proofs |
76
Voted
DBPL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
CHI
2008
ACM
15 years 5 days ago
2008
ACM
Existing tools require end-user programmers (EUPs) to write regular expressions ("regexps") or even scripts to validate textual inputs, which is slow and error-prone. We...
WSCG
2003
14 years 11 months ago
2003
The processing and usage of 3D graphics and video have been becoming very important and popular in many areas. At present, some of these areas seem to grow together. 3D television...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...