26957 search results - page 432 / 5392 » Information Systems Modernization |
218
click to vote
IPCCC
1999
IEEE
15 years 11 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
211
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
183
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
262
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Ideas by Statistical Mechanics (ISM) is a generic program to model evolution and propagation of ideas/patterns throughout populations subjected to endogenous and exogenous interac...
206
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...