Sciweavers

388 search results - page 52 / 78
» Aspect-Oriented Software Development: An Overview
Sort
View
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
14 years 1 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
PROCOMET
1998
13 years 9 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
METRICS
2005
IEEE
14 years 2 months ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt
LCR
1998
Springer
104views System Software» more  LCR 1998»
14 years 20 days ago
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors
Abstract. This paper gives an overview of locality enhancement techniques used by the Jasmine compiler, currently under development at the University of Toronto. These techniques e...
Tarek S. Abdelrahman, Naraig Manjikian, Gary Liu, ...
FGCS
2006
122views more  FGCS 2006»
13 years 8 months ago
Conceptual interfaces in hypre
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
Robert D. Falgout, Jim E. Jones, Ulrike Meier Yang