2370 search results - page 207 / 474 » On the Revival of Dynamic Languages |
241
click to vote
ESOP
2011
Springer
14 years 11 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
213
click to vote
ICALP
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
252
click to vote
JMLR
2012
13 years 9 months ago
2012
We consider the task of devising large-margin based surrogate losses for the learning to rank problem. In this learning to rank setting, the traditional hinge loss for structured ...
191
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
204
click to vote
WWW
2008
ACM
16 years 8 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...