1407 search results - page 43 / 282 » Using Use Cases in Executable Z |
108
click to vote
RTAS
2005
IEEE
15 years 8 months ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...
111
click to vote
IWMM
2000
Springer
15 years 6 months ago
2000
Springer
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
152
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
149
click to vote
FAC
2008
15 years 2 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
109
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...