767 search results - page 80 / 154 » Logic for Mathematical Writing |
132
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
166
click to vote
PODC
2012
ACM
13 years 5 months ago
2012
ACM
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
129
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
130
click to vote
PLDI
2010
ACM
16 years 19 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
144
Voted
POPL
2010
ACM
16 years 19 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...