1541 search results - page 89 / 309 » Tools and Techniques for Model Checking Networked Programs |
112
click to vote
ESEM
2008
ACM
15 years 2 months ago
2008
ACM
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
107
click to vote
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
118
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
123
click to vote
APIN
1998
15 years 10 days ago
1998
Evolutionary design of neural networks has shown a great potential as a powerful optimization tool. However, most evolutionary neural networks have not taken advantage of the fact ...
116
Voted
IJISTA
2007
15 years 16 days ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...