841 search results - page 23 / 169 » An adaptive performance modeling tool for GPU architectures |
PUK
2000
14 years 10 months ago
2000
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
JSW
2008
14 years 9 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...