419 search results - page 56 / 84 » A Thread of HOL Development |
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
149
click to vote
DAMON
2008
Springer
15 years 1 months ago
2008
Springer
Critical sections in database storage engines impact performance and scalability more as the number of hardware contexts per chip continues to grow exponentially. With enough thre...
CPHYSICS
2010
14 years 12 months ago
2010
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
JUCS
2008
14 years 11 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
SP
2008
IEEE
14 years 11 months ago
2008
IEEE
f abstraction (hardware) to the highest (people). This issue's theme encompasses this entire spectrum. The lead author of each article resides in the Scalable Computing Resear...