11539 search results - page 399 / 2308 » On Learning from Exercises |
190
click to vote
WIKIS
2006
ACM
16 years 23 days ago
2006
ACM
This paper discusses the design and implementation of processes and tools to support the collaborative creation and maintenance of multilingual wiki content. A wiki is a website w...
172
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
187
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
Chip Multiprocessors (CMPs) are now commodity hardware, but commoditization of parallel software remains elusive. In the near term, the current trend of increased coreper-socket c...
237
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
193
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
I report briefly on some of my own work in each of these areas and elucidate some of the questions that this research has raised. Then I propose as a research agenda the developme...