6248 search results - page 248 / 1250 » Programming in a data factory |
243
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
We demonstrate the language Ferry and its editing, compilation, and execution environment FerryDeck. Ferry's type system and operations match those of scripting or programmin...
147
click to vote
ERLANG
2006
ACM
16 years 18 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
140
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
166
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
166
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...