1975 search results - page 88 / 395 » Property analysis and design understanding |
152
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
170
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
148
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
196
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
155
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...