557 search results - page 35 / 112 » The L4.verified Project - Next Steps |
SEMWIKI
2008
13 years 10 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
PARCO
1997
13 years 10 months ago
1997
This article is devoted to the run-time redistribution of arrays that are distributed in a blockcyclic fashion over a multidimensional processor grid. While previous studies have ...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
There can be no doubt that risk management is an important activity in the software engineering area. One proof of this is the large body of work existing in this area. However, w...
SIGUCCS
2004
ACM
14 years 2 months ago
2004
ACM
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
MICCAI
2008
Springer
14 years 10 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...