2658 search results - page 191 / 532 » On efficient balanced codes |
152
click to vote
NECO
2010
15 years 2 months ago
2010
Neurons in the input layer of primary visual cortex in primates develop edge-like receptive fields. One approach to understanding the emergence of this response is to state that ...
167
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
193
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...
157
click to vote
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
The most commonly used request processing model in multithreaded web servers is thread-per-request, in which an individual thread is bound to serve each web request. However, with...
131
click to vote
SPAA
1997
ACM
15 years 8 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...