799 search results - page 46 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ECEASST
2006
13 years 11 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
CSMR
2007
IEEE
14 years 5 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
ICSE
2004
IEEE-ACM
14 years 11 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...
TASLP
2002
13 years 10 months ago
2002
This paper presents a new audio coder that includes two techniques to improve the sound quality of the audio coding system. First, a forward masking model is proposed. This model e...
CGF
2005
13 years 11 months ago
2005
In this paper we present an image-based algorithm for surface reconstruction of moving garment from multiple calibrated video cameras. Using a color-coded cloth texture, we reliab...