3227 search results - page 397 / 646 » Software engineering and performance: a road-map |
179
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
179
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
154
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
173
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
161
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
This study is motivated by the increased need to understand human response to video-links, 3G telephony and avatars. We focus on response of participants to audiovisual presentati...