9485 search results - page 378 / 1897 » Research on Brain-Like Computer |
153
click to vote
PODC
1996
ACM
15 years 11 months ago
1996
ACM
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
147
click to vote
JVM
2001
15 years 8 months ago
2001
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
165
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
The AI and HCI communities have often been characterized as having opposing views of how humans and computers should interact. As both of them evolve, there is a deeper contrast t...
178
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
184
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...