8094 search results - page 1518 / 1619 » Improvements in Formula Generalization |
80
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
115
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
94
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
115
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
145
click to vote
CC
2008
Springer
15 years 2 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...