2586 search results - page 179 / 518 » Automatic Abstraction for Congruences |
192
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
186
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
294
click to vote
TSE
2010
15 years 1 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
179
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
179
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...