2935 search results - page 241 / 587 » An Integrated Approach to High Integrity Software Verificati... |
176
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
191
click to vote
INTEGRATION
2008
15 years 5 months ago
2008
This paper presents a Viterbi Decoder (VD) architecture for a programmable data transmission system, implemented using a Field Programmable Gate Array (FPGA) device. This VD has b...
167
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Although in recent years some progress in software engineering (SE) and human-computer interaction (HCI) has been made, there is still a gap between the two research areas and the...
173
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
164
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...