602 search results - page 62 / 121 » Recursive in A Generic Real |
ESOP
2011
Springer
12 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 ...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We present a general method for the computation of PDFbased characteristics of the tissue micro-architecture in MR imaging. The approach relies on the approximation of th...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...
DIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. One of the most exciting scientific challenges in functional genomics concerns the discovery of biologically relevant patterns from gene expression data. For instance, i...
ISMAR
2003
IEEE
14 years 1 months ago
2003
IEEE
Mediated reality describes the concept of filtering our vision of reality, typically using a head-mounted video mixing display. We can redefine this idea in a more constructive ...