7106 search results - page 298 / 1422 » Restricted Complexity, General Complexity |
143
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
149
click to vote
ISVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
Future embedded systems will integrate hundreds of processors. Current design space exploration methods cannot cope with such a complexity. It is mandatory to extend these methods...
135
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— Orthogonal frequency division multiplexing (OFDM) system suffers extra performance degradation in fast fading channels due to intercarrier interference (ICI). Combining frequen...
133
click to vote
IISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
Workload characterization involves the understanding of the relationship between workload configurations and performance characteristics. To better assess the complexity of worklo...
129
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...