2019 search results - page 42 / 404 » Programming with Shared Data Abstractions |
126
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
116
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
132
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
112
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
109
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...