859 search results - page 33 / 172 » Explaining Synthesized Software |
75
Voted
SYNTHESE
2008
15 years 2 months ago
2008
The paper is concerned with how neo-Lockean accounts of personal identity should respond to the challenge of animalist accounts. Neo-Lockean accounts that hold that persons can cha...
117
click to vote
SYNTHESE
2010
14 years 9 months ago
2010
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
114
Voted
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
132
click to vote
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
The HW/SW partitioning problem addressed in this paper is one of the key steps in the co-design flow of heterogeneous embedded systems. Generally the aim is to provide solutions t...
99
Voted
COMSIS
2004
15 years 2 months ago
2004
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...