1359 search results - page 164 / 272 » Black-Box Program Specialization |
133
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Phylogenetic trees resulting from molecular phylogenetic analysis are available in Newick format from specialized databases but when it comes to phylogenetic networks,...
145
Voted
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
252
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
227
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
145
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...