10707 search results - page 458 / 2142 » Designing executable abstractions |
168
Voted
ARSCOM
2006
15 years 6 months ago
2006
ABSTRACT. The Levi graph of a balanced incomplete block design is the bipartite graph whose vertices are the points and blocks of the design, with each block adjacent to those poin...
245
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
162
Voted
ICLP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
166
click to vote
TOMS
2010
15 years 4 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
180
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...