744 search results - page 85 / 149 » Software Transactional Memory on Relaxed Memory Models |
156
click to vote
FASE
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
137
click to vote
EMSOFT
2009
Springer
16 years 17 days ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
136
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
176
click to vote
ILC
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...