5228 search results - page 640 / 1046 » Case Studies for Software Engineers |
158
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
161
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
156
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We discuss dynamic parameter tuning in wide-area data transfers for efficient utilization of available network capacity and optimized end-to-end application performance. Impacts ...
188
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
228
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...