Sciweavers

1569 search results - page 80 / 314
» Programming contest strategy
Sort
View
123
Voted
ENTCS
2008
73views more  ENTCS 2008»
15 years 13 days ago
Oracle-Based Partial Evaluation
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...
Claudio Ochoa, Germán Puebla
DSN
2009
IEEE
15 years 7 months ago
Fitness-guided path exploration in dynamic symbolic execution
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
85
Voted
CONCUR
2007
Springer
15 years 6 months ago
Asynchronous Games: Innocence Without Alternation
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
Paul-André Melliès, Samuel Mimram

Book
372views
16 years 8 months ago
EJB Design Patterns
"EJB Design Patterns goes beyond high-level design pattern descriptions into critical EJB-specific implementation issues, illustrated with source code implementations. The boo...
Floyd Marinescu
ICIP
2000
IEEE
16 years 1 months ago
Effective Channel Coding for DCT Watermarks
We describe effective channel coding strategies which can be used in conjunction with linear programming optimization techniques for the embedding of robust perceptually adaptive ...
Shelby Pereira, Sviatoslav Voloshynovskiy, Thierry...