2935 search results - page 217 / 587 » An Integrated Approach to High Integrity Software Verificati... |
193
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
A novel method for the segmentation of double-sided ancient document images suffering from bleed-through effect is presented. It takes advantage of the level set framework to prov...
164
click to vote
FMOODS
2007
15 years 8 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
170
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
: Over the years, many design methodologies/tools and layout architectures have been developed for datapath-oriented designs. One commonly used approach for high-speed datapath des...
198
click to vote
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...
166
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Simulation and verification using electronic design automation (EDA) tools are key steps in the design process for communication and signal processing systems. The synchronous dat...