1760 search results - page 152 / 352 » A System to Mark Programs Automatically |
104
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
131
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
136
click to vote
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
121
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
124
click to vote
IOR
2006
15 years 3 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...