Sciweavers

4015 search results - page 376 / 803
» The Future of Software Performance Engineering
Sort
View
ICSM
2009
IEEE
16 years 1 months ago
Studying the use of developer IRC meetings in open source projects
Open source developers communicate with each other via various online outlets. Thus far, mailing lists have been the main coordination mechanism. However, our previous study shows...
Emad Shihab, Zhen Ming Jiang, Ahmed E. Hassan
INTENSIVE
2009
IEEE
16 years 1 months ago
Accelerating K-Means on the Graphics Processor via CUDA
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
Mario Zechner, Michael Granitzer
IWPC
2009
IEEE
16 years 1 months ago
Automatically identifying changes that impact code-to-design traceability
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
Maen Hammad, Michael L. Collard, Jonathan I. Malet...
ICFEM
2009
Springer
16 years 1 months ago
A Lazy Unbounded Model Checker for Event-B
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...
Paulo J. Matos, Bernd Fischer, João P. Marq...
ERLANG
2009
ACM
16 years 1 months ago
Cleaning up Erlang code is a dirty job but somebody's gotta do it
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
Thanassis Avgerinos, Konstantinos F. Sagonas