1054 search results - page 63 / 211 » Models for automatic generation of safety-critical real-time... |
103
click to vote
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
109
click to vote
JSS
2008
14 years 10 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
116
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
111
click to vote
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
CP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...