419 search results - page 45 / 84 » A Thread of HOL Development |
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
As the industry moves toward larger-scale chip multiprocessors, the need to parallelize applications grows. High inter-thread communication delays, exacerbated by over-stressed hi...
136
click to vote
BSDCON
2003
15 years 1 months ago
2003
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
DAC
1999
ACM
16 years 24 days ago
1999
ACM
In this paper, we establish a theoretical framework for a new concept of scheduling called soft scheduling. In contrasts to the traditional schedulers referred as hard schedulers,...
102
click to vote
DILS
2009
Springer
15 years 6 months ago
2009
Springer
Increasingly, biological data is being shared over the deep web. Many biological queries can only be answered by successively searching a number of distinct web-sites. This paper i...
102
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...