1210 search results - page 117 / 242 » Specifying Precise Use Cases with Use Case Charts |
116
click to vote
EUROPAR
2009
Springer
15 years 10 months 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 ...
131
click to vote
DATE
2008
IEEE
15 years 10 months 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...
153
Voted
ECAL
2007
Springer
15 years 10 months 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...
118
click to vote
SETN
2004
Springer
15 years 9 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...
126
Voted
CAV
1998
Springer
15 years 8 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...