6197 search results - page 131 / 1240 » Sandbridge Software Tools |
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
14 years 2 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
ICCHP
2010
Springer
14 years 2 months ago
2010
Springer
This paper introduces a single-key text entry application for users with severe physical impairments. The tool combines the idea of a scanning ambiguous keyboard (which promises un...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper is described a software technique allowing to detect soft errors occurring in processor-based digital architectures. The detection mechanism is based on a set of rul...