Sciweavers

2296 search results - page 124 / 460
» The Expressive Power of Synchronizations
Sort
View
EDOC
2003
IEEE
15 years 9 months ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel
STACS
1994
Springer
15 years 8 months ago
Reachability and the Power of Local Ordering
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
Kousha Etessami, Neil Immerman
TIT
2010
131views Education» more  TIT 2010»
14 years 11 months ago
Characterization of SINR region for interfering links with constrained power
In this paper, a communication system including n interfering additive white Gaussian noise (AWGN) links is considered. Each transmitter uses a Gaussian codebook and each receiver...
Hajar Mahdavi-Doost, Masoud Ebrahimi, Amir K. Khan...
SAC
2009
ACM
15 years 11 months ago
Optimal service level allocation in environmentally powered embedded systems
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
Clemens Moser, Jian-Jia Chen, Lothar Thiele
CORR
2008
Springer
133views Education» more  CORR 2008»
15 years 4 months ago
From Multi-Keyholes to Measure of Correlation and Power Imbalance in MIMO Channels: Outage Capacity Analysis
An information-theoretic analysis of a multi-keyhole channel, which includes a number of statistically independent keyholes with possibly different correlation matrices, is given. ...
George Levin, Sergey Loyka