1100 search results - page 100 / 220 » Instrumenting annotated programs |
SOQUA
2007
14 years 11 months ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
TITB
2002
14 years 9 months ago
2002
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...
188
click to vote
ECOOP
2009
Springer
15 years 10 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The problem of content-based image and video retrieval with textual queries is often posed as that of visual concept classification, where classifiers for a set of predetermined...