6800 search results - page 990 / 1360 » Testing with Functions as Specifications |
193
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
165
Voted
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
169
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
171
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
193
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...