4438 search results - page 385 / 888 » The Case for Collaborative Programming |
170
Voted
TWC
2010
15 years 1 months ago
2010
Only one asymptotic training design for a special case of channel correlation was proposed in the literature for spatially correlated multiple-input multiple-output with orthogonal...
306
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
191
click to vote
SEUS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
184
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
222
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Boolean networks (BNs) are known as a mathematical model of genetic networks. In this paper, we overview algorithmic aspects of inference, analysis and control of BNs while focusin...