8008 search results - page 1323 / 1602 » Computer-Aided Language Processing |
227
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
128
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
127
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...
129
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
162
click to vote
POPL
2010
ACM
16 years 14 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...