3901 search results - page 214 / 781 » software 2008 |
119
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
135
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
131
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
141
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...