3317 search results - page 454 / 664 » Strategies in Rigid-Variable Methods |
180
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
205
click to vote
LION
2007
Springer
16 years 24 days ago
2007
Springer
This paper is about Reinforcement Learning (RL) applied to online parameter tuning in Stochastic Local Search (SLS) methods. In particular a novel application of RL is considered i...
147
click to vote
MLG
2007
Springer
16 years 24 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
223
click to vote
VEE
2005
ACM
16 years 6 days ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
215
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In September of 1998, the College of Engineering at the University of Massachusetts Dartmouth piloted an innovative, integrated, first-year curriculum. It dramatically changed 31 ...