911 search results - page 123 / 183 » Kolmogorov Complexity Cores |
152
click to vote
ISCA
2005
IEEE
15 years 11 months 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...
191
click to vote
HASKELL
2005
ACM
15 years 11 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
151
click to vote
ISLPED
2005
ACM
15 years 11 months ago
2005
ACM
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
144
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
One of the largest barriers to learning programming is the precise and complex syntax required to write programs. This barrier is a key impediment to the integration of programmin...
173
click to vote
PEWASUN
2005
ACM
15 years 11 months ago
2005
ACM
Inherent to the wireless sensor networks are the two major problems of the broadcasting vulnerability, the limited computational capability and power budget. Even though security ...