2478 search results - page 64 / 496 » Quadtrees as an Abstract Domain |
TPLP
2002
13 years 7 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Modern morphometric studies use non-linear image registration to compare anatomies and perform group analysis. Recently, logEuclidean approaches have contributed to promo...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—The inter-domain Resource Exchange (iREX) architecture uses economic market mechanisms to automate the deployment of end-to-end (E2E) inter-domain (ID) quality of servic...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Measurements have shown that network path failures occur frequently in the Internet and physical link failures can cause network instability in large scale and severity...
KIVS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...