1113 search results - page 31 / 223 » Counter Systems for Data Logics |
126
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
124
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
144
click to vote
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
: The “Grid” is an emerging infrastructure for coordinating access across autonomous organizations to distributed, heterogeneous computation and data resources. Data grids are ...
137
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
138
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
Statistical information about the flow sizes in the traffic passing through a network link helps a network operator to characterize network resource usage, infer traffic demands,...