33356 search results - page 181 / 6672 » Models of Continual Computation |
149
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we address the problem of decentralised coordination for agents that must make coordinated decisions over continuously valued control parameters (as is required in m...
133
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
120
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In fast-varying faded channels the transmission can be organized into frames where the channel estimation is mainly training-based. For fast-varying fading channels the trainin...
121
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...
161
Voted
WISES
2003
15 years 6 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...