398 search results - page 38 / 80 » Automatic Trace-Based Performance Analysis of Metacomputing ... |
129
Voted
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
147
Voted
ECOOPW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
129
click to vote
DSVIS
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
115
Voted
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
—Diffusion Tensor MRI (DTI) is a rather recent image acquisition modality that can help identify disease processes in nerve bundles in the brain. Due to the large and complex nat...
148
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...