7766 search results - page 215 / 1554 » Testing Nondeterminate Systems |
95
Voted
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
114
Voted
DSD
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a method to efficiently design a “parity generator”, which is a stand-alone block producing multiple parity bits of a given circuit. The parity generator is designe...
118
click to vote
EUROSPI
2007
Springer
15 years 8 months ago
2007
Springer
Test-driven development (TDD) is entering the mainstream of software development. We examined the software development process for the purpose of evaluation of the TDD impact, with...
142
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...