933 search results - page 179 / 187 » A Fully Automatic hp-Adaptivity |
MOBISYS
2006
ACM
14 years 9 months ago
2006
ACM
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
IWMM
2009
Springer
14 years 4 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
IWMM
2009
Springer
14 years 4 months ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
SMA
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...