131 search results - page 25 / 27 » Sketching sketching: outlines of a collaborative design meth... |
CANPC
1999
Springer
13 years 11 months ago
1999
Springer
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— A wireless sensor network (WSN) is energy constrained, and the extension of its lifetime is one of the most important issues in its design. Usually, a WSN collects a la...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
ICFEM
2005
Springer
14 years 17 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
CSCW
2006
ACM
14 years 1 months ago
2006
ACM
This paper argues that the design of remote help-giving systems should be grounded in articulation work and the methodical ways in which help-givers and help-seekers coordinate th...