80 search results - page 9 / 16 » Recursive subtyping revealed |
JCNS
2010
14 years 8 months ago
2010
The spontaneous activity of working neurons yields synaptic currents that mix up in the volume conductor. This activity is picked up by intracerebral recording electrodes as local ...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
86
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
VTC
2006
IEEE
2006
IEEE
Distributed Stochastic Power and Rate Allocation for Energy Minimization in Wireless Sensor Networks
15 years 3 months ago
— In this paper, we propose a distributed stochastic algorithm for power and rate allocation in ad hoc wireless sensor networks. The problem we deal with is formulated as a trans...
152
click to vote
POPL
2008
ACM
15 years 9 months ago
2008
ACM
When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of types in typical scripting languages means that programmers must (re)disc...