1407 search results - page 121 / 282 » Using Use Cases in Executable Z |
141
click to vote
SBACPAD
2005
IEEE
15 years 10 months ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
151
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
140
click to vote
IFL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...
115
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
139
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...