4940 search results - page 292 / 988 » On the Complexity of Universal Programs |
208
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
181
Voted
MEMOCODE
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
158
click to vote
ISCA
2005
IEEE
16 years 6 days ago
2005
IEEE
Significant time is spent by companies trying to reproduce and fix the bugs that occur for released code. To assist developers, we propose the BugNet architecture to continuousl...
178
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
128
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we propose to apply emergent collective behavior ideas to automatically program Internet multichannel radio stations. The proposed model simulates n virtual Dj'...