669 search results - page 115 / 134 » Haskell program coverage |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
115
click to vote
EC
2008
14 years 11 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
116
click to vote
INFSOF
2008
14 years 11 months ago
2008
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...
JILP
2000
14 years 11 months ago
2000
How much do two profiles of the same program differ? When has a profile changed enough to warrant reexamination of the profiled program? And how should two or more profiles be com...
103
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...