Sciweavers

1587 search results - page 80 / 318
» Software Engineering Programmes are not Computer Science Pro...
Sort
View
PLDI
2011
ACM
12 years 11 months ago
Systematic editing: generating program transformations from an example
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
Na Meng, Miryung Kim, Kathryn S. McKinley
ARCS
2008
Springer
13 years 10 months ago
An Optimized ZGEMM Implementation for the Cell BE
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
Timo Schneider, Torsten Hoefler, Simon Wunderlich,...
PPPJ
2006
ACM
14 years 2 months ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
PPOPP
2010
ACM
14 years 6 months ago
GAMBIT: effective unit testing for concurrency libraries
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
Katherine E. Coons, Sebastian Burckhardt, Madanlal...
CSEE
2007
Springer
14 years 2 months ago
Lab Partners: If They're Good Enough for the Natural Sciences, Why Aren't They Good Enough for Us?
Despite many professed benefits of collaboration, some computer science educators feel students need to master work individually, particularly in the courses early in the curricul...
Laurie Williams, Lucas Layman