1140 search results - page 172 / 228 » Generating compilers for generated datapaths |
106
click to vote
SIGSOFT
2009
ACM
16 years 3 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...
106
click to vote
SIGSOFT
2007
ACM
16 years 3 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...
240
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
237
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
126
click to vote
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
The Architectural Vulnerability Factor (AVF) of a hardware structure is the probability that a fault in the structure will affect the output of a program. AVF captures both microa...