933 search results - page 44 / 187 » A Fully Automatic hp-Adaptivity |
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must ...
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
99
Voted
MIAR
2006
IEEE
15 years 6 months ago
2006
IEEE
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
130
click to vote
FMCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...