1114 search results - page 93 / 223 » An Architecture for Peer-to-peer Reasoning |
197
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a cycle accounting architecture for Simultaneous Multithreading (SMT) processors that estimates the execution times for each of the threads had they been execu...
207
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
141
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
197
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
176
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...