1043 search results - page 1 / 209 » Reading, Writing and Relations |
APLAS
2006
ACM
13 years 10 months ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...
CHI
1998
ACM
13 years 9 months ago
1998
ACM
In this paper we describe a diary study of how people read in the course of their daily working lives. Fifteen people from a wide variety of professions were asked to log their da...
ICPADS
1998
IEEE
13 years 9 months ago
1998
IEEE
: Three fast mutual exclusion algorithms using read-modify-write and atomic read/write registers are presented in a sequence, with an improvement from one to the next. The last alg...
SCCC
1997
IEEE
13 years 9 months ago
1997
IEEE
In a database system, read operations are much more common than write operations, and consequently, database systems have been read optimized. As the size of main memory increases...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...