1742 search results - page 95 / 349 » An Applicative Module Calculus |
CSL
2007
Springer
14 years 4 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
TLCA
2009
Springer
14 years 5 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
JLP
2011
13 years 5 months ago
2011
Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Servic...
HPCC
2005
Springer
14 years 4 months ago
2005
Springer
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...
OSDI
2000
ACM
13 years 12 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...