101 search results - page 8 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Interoperability is a key and challenging requirement in today’s and future systems, which are often characterized by an extreme level of heterogeneity. To build an int...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
ISPW
2008
IEEE
14 years 1 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...