1407 search results - page 250 / 282 » Using Use Cases in Executable Z |
104
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
107
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
137
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...
119
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
119
Voted
ARTMED
2010
15 years 2 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...