419 search results - page 44 / 84 » A Thread of HOL Development |
SIGCSE
2000
ACM
15 years 4 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
IVS
2008
14 years 11 months ago
2008
Investigative analysts who work with collections of text documents connect embedded threads of evidence in order to formulate hypotheses about plans and activities of potential in...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
181
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
106
click to vote
IEEEPACT
2008
IEEE
15 years 6 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...