631 search results - page 86 / 127 » Producing reliable software: an experiment |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
CASES
2011
ACM
12 years 9 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
C3S2E
2009
ACM
14 years 3 months ago
2009
ACM
The integer least squares problem arises from many applications such as communications, cryptography, and GPS. In this paper, we consider the sphere decoding method in communicati...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
One approach to supporting program comprehension involves binding concepts to source code. Previously proposed approaches to concept binding have enforced nonoverlapping boundarie...