1280 search results - page 26 / 256 » Soft Typing with Conditional Types |
MSWIM
2006
ACM
14 years 3 months ago
2006
ACM
A neural network based clustering method for the analysis of soft handovers in 3G network is introduced. The method is highly visual and it could be utilized in explorative analys...
JSAC
2006
13 years 9 months ago
2006
It has been shown that distributed turbo coding (DTC) can approach the capacity of a wireless relay network. In the existing DTC schemes, it is usually assumed that error-free deco...
ACOM
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This work evaluates task allocation strategies based on bin-packing algorithms in the context of multiprocessor systems-on-chip (MPSoCs) with task migration capabilities, running ...