1100 search results - page 111 / 220 » Instrumenting annotated programs |
180
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
115
Voted
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
128
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
134
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
130
click to vote
LREC
2010
15 years 6 months ago
2010
This paper shows that a LAF/GrAF-based annotation schema can be used for the adequate representation of syntactic dependency structures in many languages. We first argue that ther...