3108 search results - page 113 / 622 » The Elements of Computer Credibility |
148
click to vote
ENTCS
2007
15 years 4 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
134
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
137
click to vote
TEC
2010
14 years 11 months ago
2010
in HTML. Full version in PDF. 08i YOGEV, O., SHAPIRO, A. A., AND ANTONSSON, E. K. Computational Evolutionary Embryogeny. IEEE Transactions on Evolutionary Computation. Accepted for...
155
click to vote
ADC
2008
Springer
15 years 11 months ago
2008
Springer
In this paper, we study the problem of measuring structural similarities of large number of source schemas against a single domain schema, which is useful for enhancing the qualit...
149
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...