1894 search results - page 229 / 379 » A TLA Proof System |
138
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...
178
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
133
Voted
COCO
2003
Springer
15 years 9 months ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
131
click to vote
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Many storage systems rely on replication to increase the availability and durability of data on untrusted storage systems. At present, such storage systems provide no strong evide...
167
click to vote
ANSS
2007
IEEE
15 years 10 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...