752 search results - page 82 / 151 » The standard parts problem and the complexity of control com... |
TOOLS
2000
IEEE
14 years 6 days ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
SPAA
2004
ACM
14 years 1 months ago
2004
ACM
Given two admission control algorithms that are cA-acceptcompetitive and cR-reject-competitive respectively, we give two ways to make an algorithm that is simultaneously O(cA)acce...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Recent advances in cognitive radio (CR) technology have brought about a number of wireless standards that support opportunistic access to available white-space spectrum. Address...
SECON
2007
IEEE
14 years 2 months ago
2007
IEEE
— The rapidly growing demand for wireless communication makes efficient power allocation a critical factor in the network’s efficient operation. Recently power allocation in ...