9898 search results - page 1593 / 1980 » Measuring Multicore Performance |
141
click to vote
ATC
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
136
click to vote
CF
2008
ACM
15 years 7 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
157
click to vote
CIA
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...
131
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we investigate the problem of improving the relevance of a Web search engine by adapting it to the dynamic needs of the user. We examine a representative case of su...
157
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We argue that expert finding is sensitive to multiple document features in an organization, and therefore, can benefit from the incorporation of these document features. We propos...