1173 search results - page 84 / 235 » Program Derivation Using Analogy |
186
click to vote
TMC
2012
13 years 7 months ago
2012
—A major benefit of employing network coding (NC) in cooperative communications (CC) is its ability to reduce time-slot overhead. Such approach is called network-coded CC (or NC...
156
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
133
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
153
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
138
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: Multiplex PCR, defined as the simultaneous amplification of multiple regions of a DNA template or multiple DNA templates using more than one primer set (comprising a f...