Sciweavers

1781 search results - page 158 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
ICSM
1998
IEEE
15 years 5 months ago
Improving Visual Impact Analysis
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
Matthew A. Hutchins, Keith Gallagher
104
Voted
RE
2008
Springer
15 years 8 days ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
115
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
120
Voted
ICIP
2010
IEEE
14 years 10 months ago
Temporal pooling of video quality estimates using perceptual motion models
Emerging multimedia applications have increased the need for video quality measurement. Motion is critical to this task, but is complicated owing to a variety of object movements ...
Kwanghyun Lee, Jincheol Park, Sanghoon Lee, Alan C...
108
Voted
CGO
2004
IEEE
15 years 4 months ago
Code Generation for Single-Dimension Software Pipelining of Multi-Dimensional Loops
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to the outer loops. In a companion paper, we proposed a ...
Hongbo Rong, Alban Douillet, Ramaswamy Govindaraja...