182 search results - page 2 / 37 » A Theory of Strict P-completeness |
TLDI
2005
ACM
13 years 11 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
SIGMETRICS
2006
ACM
14 years 6 days ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
ECAL
2001
Springer
13 years 10 months ago
2001
Springer
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
PEPM
2010
ACM
14 years 3 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
SUM
2007
Springer
14 years 11 days ago
2007
Springer
Abstract. The paper presents a valued extension of the recently introduced concept of PQI interval order. The main idea is that, while comparing objects represented by interval of ...