3951 search results - page 488 / 791 » Automatic amortized analysis |
207
click to vote
COMPLIFE
2006
Springer
15 years 10 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...
161
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
225
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
171
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a dynamic IP address configuration (DAC) scheme for mSCTP handover, which exploits the information from the link layer to support SCTP handover between heteroge...
189
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...