2255 search results - page 122 / 451 » High Assurance Software Systems |
CODES
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we present an efficient methodology to validate high performance algorithms and prototype them using reconfigurable hardware. We follow a strict topdown Hardware/So...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...