753 search results - page 71 / 151 » Completing a (k - 1)-Assignment |
IANDC
2008
14 years 10 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
ECCC
2007
14 years 10 months ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
176
click to vote
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Generating interest in specialized areas of Computer Science (CS) is one of the goals of the department of Computer and Information Science at Spelman College as with most departm...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...
CLUSTER
2000
IEEE
14 years 9 months ago
2000
IEEE
Clusters of workstations and networked parallel computing systems are emerging as promising computational platforms for HPC applications. The processors in such systems are typica...