2302 search results - page 100 / 461 » The Evolution of Concurrent Programs |
166
click to vote
JCS
2007
15 years 6 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
169
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
156
click to vote
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
173
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We describe the first instance of an approach for control programming of humanoid robots, based on evolution as the main adaptation mechanism. In an attempt to overcome some of th...