336 search results - page 15 / 68 » Program Speedups in Theory and Practice |
192
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
There has been a recent effort in the literature to reconsider grammar-dependent software development from an engineering point of view. As part of that effort, we examine a defic...
135
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
230
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
115
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
117
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...