110 search results - page 18 / 22 » Program Repair as Sound Optimization of Broken Programs |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
SOCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
MM
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
VR
2003
IEEE
14 years 1 months ago
2003
IEEE
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...