1975 search results - page 309 / 395 » Property analysis and design understanding |
154
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
201
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
160
click to vote
USENIX
2001
15 years 7 months ago
2001
The X Window System protocol, Version 11, was deliberately designed to be extensible, to provide for both anticipated and unanticipated needs. The X11 core did not anticipate that...
186
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
179
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In this work we design algorithms for clustering relational columns into attributes, i.e., for identifying strong relationships between columns based on the common properties and ...