2057 search results - page 57 / 412 » Quadratic placement using an improved timing model |
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
104
click to vote
AIIDE
2009
15 years 29 days ago
2009
Although in theory opponent modeling can be useful in any adversarial domain, in practice it is both difficult to do accurately and to use effectively to improve game play. In thi...
102
click to vote
EUC
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
KDD
2004
ACM
16 years 7 days ago
2004
ACM
Transformation of both the response variable and the predictors is commonly used in fitting regression models. However, these transformation methods do not always provide the maxi...
108
click to vote
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...