4211 search results - page 405 / 843 » Types as Abstract Interpretations |
140
click to vote
MIDDLEWARE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Next-generation Grid applications will be highly heterogeneous in nature, will run on many types of computer and device, will operate within and across many heterogeneous...
157
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have t...
196
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract-- We propose a framework for decentralized path selection and on-demand wavelength channel provisioning in WDM networks with routing constraints. Within this framework, th...
170
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
186
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...