898 search results - page 106 / 180 » The Certification of Software Tools with respect to Software... |
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
INFORMATICALT
2002
14 years 11 months ago
2002
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
102
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
102
click to vote
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
This paper investigates the robustness of the wavelet transform, implemented by means of the Lifting Scheme (LS), with respect to numerical errors in the representation and calcul...