6197 search results - page 1136 / 1240 » Sandbridge Software Tools |
159
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
152
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
135
Voted
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Reuse of existing libraries simplifies software development efforts. However, these libraries are often complex and reusing the APIs in the libraries involves a steep learning cu...
134
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...
142
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...