3946 search results - page 199 / 790 » The computational complexity of choice sets |
180
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
199
click to vote
TPDS
2008
15 years 6 months ago
2008
Multicore architectures have been ruling the recent microprocessor design trend. This is due to different reasons: better performance, thread-level parallelism bounds in modern app...
189
click to vote
ENTCS
2002
15 years 6 months ago
2002
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...
152
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a memory-constrained tree search (MCTS) algorithm for the detection in multiple-input multiple-output (MIMO) systems. The MCTS algorithm offers a wide...
165
click to vote
MUE
2007
IEEE
16 years 27 days ago
2007
IEEE
Video applications on mobile handheld devices are very challenging mainly due to the complex computational needs of video decoding and the limited capacity of batteries of handhel...