Sciweavers

1569 search results - page 18 / 314
» Programming contest strategy
Sort
View
AMAST
2010
Springer
13 years 4 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
ORL
2007
66views more  ORL 2007»
13 years 9 months ago
Linear programming with online learning
We propose online decision strategies for time-dependent sequences of linear programs which use no distributional and minimal geometric assumptions about the data. These strategies...
Tatsiana Levina, Yuri Levin, Jeff McGill, Mikhail ...
VMCAI
2009
Springer
14 years 4 months ago
Finding Concurrency-Related Bugs Using Random Isolation
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...