2255 search results - page 229 / 451 » High Assurance Software Systems |
191
click to vote
JSC
2006
15 years 6 months ago
2006
In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...
161
click to vote
SBACPAD
2008
IEEE
16 years 27 days ago
2008
IEEE
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
195
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
178
click to vote
RTSS
2008
IEEE
16 years 27 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
181
click to vote
IEEEARES
2007
IEEE
16 years 25 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...