11211 search results - page 1624 / 2243 » Rank-Sensitive Data Structures |
182
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
230
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
229
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
207
click to vote
FGR
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a system for simultaneous capture of video sequences of face shape and colour appearance. Shape capture uses a projected infra-red structured light pattern tog...
232
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...