988 search results - page 82 / 198 » The Frontiers of Data Programmability |
188
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Managed languages improve programmer productivity with type safety and garbage collection, which eliminate memory errors such as dangling pointers, double frees, and buffer overfl...
190
click to vote
POPL
2002
ACM
16 years 29 days ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
176
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...
96
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
141
Voted
ESTIMEDIA
2009
Springer
15 years 7 months ago
2009
Springer
—Real-time encoding of high-definition H.264 video is a challenge to current embedded programmable processors. Emerging stream processing methods supported by most GPUs and progr...