6274 search results - page 593 / 1255 » Proofs, Programs, Processes |
153
Voted
ACE
2004
15 years 8 months ago
2004
This paper presents a process for evaluating an e-commerce course in order to determine whether the structure and design is appropriate for student learning. Evaluation is importa...
197
Voted
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
184
click to vote
ACTA
2007
15 years 7 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
259
Voted
POPL
1994
ACM
15 years 11 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
227
Voted
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...