11784 search results - page 635 / 2357 » Improving Software Process Improvement |
183
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
167
click to vote
CISIS
2010
IEEE
16 years 2 months ago
2010
IEEE
Context has been applied to a broad range of domains and systems ranging from location-based tourist applications to motion capture. An area relatively under-represented in the li...
164
click to vote
CGO
2009
IEEE
16 years 2 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...
210
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this study of eight outsourcing projects, we seek to understand the mechanisms that companies put in place to coordinate knowledge work across their boundaries. We find that m...
193
click to vote
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...