Sciweavers

2296 search results - page 124 / 460
» The Expressive Power of Synchronizations
Sort
View
EDOC
2003
IEEE
15 years 11 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 10 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»
15 years 1 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
16 years 1 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 6 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