1557 search results - page 87 / 312 » Programming up to Congruence |
245
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
154
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...
112
click to vote
GPCE
2009
Springer
15 years 9 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
115
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
142
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
A boosting algorithm based on cellular genetic programming to build an ensemble of predictors is proposed. The method evolves a population of trees for a fixed number of rounds an...