4438 search results - page 588 / 888 » The Case for Collaborative Programming |
189
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
198
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
170
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...
178
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
172
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...