2935 search results - page 29 / 587 » An Integrated Approach to High Integrity Software Verificati... |
148
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
146
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
Field-Programmable Gate Arrays (FPGAs) are being employed in high performance computing systems owing to their potential to accelerate a wide variety of long-running routines. Par...
206
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Protein-amide proton hydrogen-deuterium exchange (HDX) is used to investigate protein conformation, conformational changes and surface binding sites for other molecule...
122
Voted
ICECCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
134
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...