1760 search results - page 102 / 352 » A System to Mark Programs Automatically |
137
Voted
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
96
Voted
ENTCS
2006
15 years 2 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
113
click to vote
TSE
2011
14 years 9 months ago
2011
Software module clustering is the problem of automatically organising software units into modules to improve program structure. There has been a great deal of recent interest in s...
149
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
140
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...