6187 search results - page 376 / 1238 » Practical Software Measurement |
150
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This article contributes to our major study of decentralized controller design using a multiple-derivative and multiple-delay paradigm for control. In this installment, we pursue ...
153
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
155
click to vote
UAI
2008
15 years 7 months ago
2008
This paper develops a measure for bounding the performance of AND/OR search algorithms for solving a variety of queries over graphical models. We show how drawing a connection to ...
178
Voted
SOPR
2008
15 years 6 months ago
2008
Pair programming is regarded as one of the practices that can make testing more rigorous, thorough and effective. Therefore, we examined pair programming vs. solo programming with ...
130
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The terms architecture, design, and implementation are typically used informally in partitioning software specificato three coarse strata of abstraction. Yet these strata are not ...