Sciweavers

1489 search results - page 57 / 298
» The First Bug Report
Sort
View
KBSE
2000
IEEE
15 years 8 months ago
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
Laurent Réveillère, Fabrice Mé...
NLDB
2010
Springer
15 years 7 months ago
Automatic Quality Assessment of Source Code Comments: The JavadocMiner
Abstract. An important software engineering artefact used by developers and maintainers to assist in software comprehension and maintenance is source code documentation. It provide...
Ninus Khamis, René Witte, Juergen Rilling
FMCAD
2009
Springer
15 years 7 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
APSEC
2004
IEEE
15 years 7 months ago
MUDABlue: An Automatic Categorization System for Open Source Repositories
Open Source communities typically use a software repository to archive various software projects with their source code, mailing list discussions, documentation, bug reports, and ...
Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushit...
DAC
2005
ACM
15 years 5 months ago
VLIW: a case study of parallelism verification
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Li...