877 search results - page 129 / 176 » Annotated Revision Programs |
114
Voted
MICCAI
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
115
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
87
Voted
EWSA
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a new approach to model-driven development, which we call introspective model-driven development (IMDD). This approach relies heavily on some well-underst...
116
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
108
Voted
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...