605 search results - page 35 / 121 » Dynamic inference of abstract types |
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--The open wireless medium in a mobile ad-hoc network (MANET) enables malicious traffic analysis to dynamically infer the network traffic pattern in hostile environments. T...
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
14 years 2 months ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...
BIOCOMP
2006
13 years 10 months ago
2006
Abstract-- The inference of a network structure from experimental data providing dynamical information about the underlying system of investigation is an important and still outsta...