1210 search results - page 117 / 242 » Specifying Precise Use Cases with Use Case Charts |
152
click to vote
EUROPAR
2009
Springer
16 years 28 days ago
2009
Springer
Automatic performance tuning (auto-tuning) has been used in parallel numerical applications for adapting performance-relevant parameters. We extend auto-tuning to general-purpose ...
157
click to vote
DATE
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
182
click to vote
ECAL
2007
Springer
16 years 16 days ago
2007
Springer
Multi-agent organizations in dynamic environments, need to have the ability to adapt to environmental changes to ensure a continuation of proper functioning. Such adaptations can b...
158
click to vote
SETN
2004
Springer
15 years 11 months ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...
162
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...