495 search results - page 85 / 99 » Extensible Proof-Producing Compilation |
ICDE
2007
IEEE
14 years 8 months ago
2007
IEEE
Traditional DBMSs decouple statistics collection and query optimization both in space and time. Decoupling in time may lead to outdated statistics. Decoupling in space may cause s...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
The 3D conformation of a protein may be compactly represented in a symmetrical, square, boolean matrix of pairwise, inter-residue contacts, or "contact map". The contact...