3316 search results - page 549 / 664 » Mining Software Engineering Data |
COBUILD
1998
Springer
15 years 2 months ago
1998
Springer
: New forms of communication and co-operation do not have the same environmental impact pattern as current forms of work. Environmental impacts are produced by work technologies (m...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
JCC
2000
14 years 9 months ago
2000
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
SIGMOD
2010
ACM
14 years 7 months ago
2010
ACM
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...