4940 search results - page 825 / 988 » On the Complexity of Universal Programs |
202
Voted
GECCO
2004
Springer
16 years 11 days ago
2004
Springer
Nowadays, large distributed databases are commonplace. Client applications increasingly rely on accessing objects from multiple remote hosts. The Internet itself is a huge network ...
179
click to vote
GECCO
2004
Springer
16 years 11 days ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
180
Voted
HIPC
2004
Springer
16 years 11 days ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
172
click to vote
ICALP
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
179
click to vote
ICALP
2004
Springer
16 years 11 days ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...