3773 search results - page 567 / 755 » Logical Reasoning |
173
Voted
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
156
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
245
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
137
Voted
NJC
2006
15 years 5 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
151
click to vote
AMAI
2000
Springer
15 years 4 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...