12272 search results - page 102 / 2455 » Experimental program analysis |
141
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
102
click to vote
BMCBI
2010
15 years 28 days ago
2010
Background: Systems biologists are faced with the difficultly of analyzing results from large-scale studies that profile the activity of many genes, RNAs and proteins, applied in ...
124
Voted
PDPTA
1996
15 years 2 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
122
click to vote
EUROPAR
2004
Springer
15 years 4 months ago
2004
Springer
Measurement-based profiling introduces intrusion in program execution. Intrusion effects can be mitigated by compensating for measurement overhead. Techniques for compensation anal...
108
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...