1100 search results - page 47 / 220 » Instrumenting annotated programs |
153
click to vote
CC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
245
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
140
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a max margin framework on image annotation and multimodal image retrieval as a structured prediction model. Following the max margin approach the image retriev...
125
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
155
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...