4520 search results - page 266 / 904 » Algebraic Techniques for Timed Systems |
220
click to vote
LCR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper gives an overview of locality enhancement techniques used by the Jasmine compiler, currently under development at the University of Toronto. These techniques e...
184
click to vote
ACTA
2010
15 years 7 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
222
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Relays represent a promising approach to extend the cell coverage, combat the strong shadowing effects as well as guarantee the QoS in dense networks. Among the numerous existing ...
207
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
194
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
Availability prediction in a telecommunication system plays a crucial role in its management, either by alerting the operator to potential failures or by proactively initiating pr...