419 search results - page 31 / 84 » A Thread of HOL Development |
138
click to vote
SIGMOD
2008
ACM
16 years 51 min ago
2008
ACM
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...
104
click to vote
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
ASWEC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
MICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
We propose and evaluate a multi-thread memory scheduler that targets high performance CMPs. The proposed memory scheduler is based on concepts originally developed for network fai...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...