3458 search results - page 49 / 692 » Abstracting Control |
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
PPL
2008
13 years 8 months ago
2008
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract-- We study joint rate control and resource allocation with QoS provisioning that maximizes the total utility of secondary users in cognitive radio networks. We formulate a...
ICT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Most distributed power control algorithms have been proposed assuming constant interference and constant path gain. These considerations may result in lower performance g...