2493 search results - page 371 / 499 » Tool Support for Design by Contract |
KDD
2002
ACM
15 years 10 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we introduce the notion of "photowork" as the activities people perform with their digital photos after capture but prior to end use such as sharing. Surpr...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a new collaboration technology that is carefully poised between informal, ad hoc, easy-to-initiate collaborative tools, vs. more formal, structured, and higho...
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
Statistical static timing analysis (SSTA) has emerged as an essential tool for nanoscale designs. Monte Carlo methods are universally employed to validate the accuracy of the appr...
PADL
2010
Springer
15 years 6 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...