1159 search results - page 28 / 232 » On The Next Move in Programming |
121
click to vote
PADL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
97
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
d Abstract) Aravindhan K Krishnan Madhava Krishna Supreeth Achar This paper presents an approach to explore an unknown indoor environment using vision as the sensing modality, t...
67
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
There is a common belief that wysiwyg technical editors are not suited for editing structured texts and generating documents with a high typographical quality. In this paper, we an...
112
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
126
click to vote
ESWA
2008
14 years 12 months ago
2008
This paper proposes a novel method called FLGP to construct a classifier device of capability in feature selection and feature extraction. FLGP is developed with layered genetic p...