1541 search results - page 241 / 309 » Tools and Techniques for Model Checking Networked Programs |
111
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
103
click to vote
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
116
Voted
KES
2007
Springer
15 years 6 months ago
2007
Springer
The paper describes Breedbot an edutainment software and hardware system that could be used to evolve autonomous agents in digital (software) world and to transfer the evolved mind...
130
click to vote
KES
2008
Springer
15 years 16 days ago
2008
Springer
Evolutionary techniques provide powerful tools to design novel solutions for hard problems in different areas. However, the problem of scale (i.e. how to create a large, complex s...
123
click to vote
TCBB
2010
14 years 7 months ago
2010
Recent techniques increase rapidly the amount of our knowledge on interactions between proteins. The interpretation of these new information depends on our ability to retrieve kno...