32032 search results - page 6080 / 6407 » Verified programming in Guru |
168
click to vote
ACG
2006
Springer
16 years 24 days ago
2006
Springer
First, this paper introduces a new family of k-in-a-row games, Connect(m, n, k, p, q). In Connect(m, n, k, p, q), two players alternately place p stones on an m × n board in each ...
185
click to vote
ADBIS
2006
Springer
16 years 24 days ago
2006
Springer
Database caching supports declarative query processing close to the application. Using a full-fledged DBMS as cache manager, it enables the evaluation of specific project-select-...
208
click to vote
ACMMSP
2006
ACM
16 years 23 days ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
185
click to vote
ACMSE
2006
ACM
16 years 23 days ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
181
click to vote
ASPDAC
2006
ACM
16 years 23 days ago
2006
ACM
— The rapid increase in IC design complexity and wide-spread use of intellectual-property (IP) blocks have made the so-called mixed-size placement a very important topic in recen...