365 search results - page 38 / 73 » Types for Safe Locking |
113
Voted
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
106
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
143
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
106
Voted
SIGMOD
1995
ACM
15 years 6 months ago
1995
ACM
: ANSI SQL-92 [MS, ANSI] defines Isolation Levels in terms of phenomena: Dirty Reads, Non-Repeatable Reads, and Phantoms. This paper shows that these phenomena and the ANSI SQL def...
132
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...