1991 search results - page 188 / 399 » Using a Coding Standard to Improve Program Quality |
143
click to vote
CPAIOR
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present a constraint programming approach for the service consolidation problem that is being currently tackled by Neptuny, Milan. The problem is defined as: Giv...
154
click to vote
CODES
2009
IEEE
15 years 12 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
244
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
170
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...
134
click to vote
ICPP
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes transformation techniques for out-of-core programs (i.e., those that deal with very large quantities of data) based on exploiting locality using a combination...