Sciweavers

1983 search results - page 159 / 397
» Optimal Reverse-Pricing Mechanisms
Sort
View
151
Voted
CC
1994
Springer
15 years 10 months ago
Flow Grammars - a Flow Analysis Methodology
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
James S. Uhl, R. Nigel Horspool
162
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
FlexSync: An aspect-oriented approach to Java synchronization
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
Charles Zhang
HPCA
2009
IEEE
16 years 7 months ago
Dynamic hardware-assisted software-controlled page placement to manage capacity allocation and sharing within large caches
In future multi-cores, large amounts of delay and power will be spent accessing data in large L2/L3 caches. It has been recently shown that OS-based page coloring allows a non-uni...
Manu Awasthi, Kshitij Sudan, Rajeev Balasubramonia...
GECCO
2007
Springer
131views Optimization» more  GECCO 2007»
16 years 26 days ago
Using feedback to regulate gene expression in a developmental control architecture
We present what we believe is the first attempt to physically reconstruct the exploratory mechanism of genetic regulatory networks. Feedback plays a crucial role during developme...
Kester Clegg, Susan Stepney, Tim Clarke
SAT
2007
Springer
107views Hardware» more  SAT 2007»
16 years 25 days ago
Combining Adaptive Noise and Look-Ahead in Local Search for SAT
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
Chu Min Li, Wanxia Wei, Harry Zhang