2935 search results - page 13 / 587 » An Integrated Approach to High Integrity Software Verificati... |
137
Voted
DAC
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
133
Voted
IESA
2007
15 years 5 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
136
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...
139
Voted
FASE
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
139
Voted
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...