Sciweavers

2777 search results - page 163 / 556
» Example centric programming
Sort
View
84
Voted
APL
1993
ACM
15 years 4 months ago
Array Morphology
Array morphology is the study of the form, structure, and evolution of arrays. An array annotation for a program written in an applicative array lanan abstract syntax tree for the...
Robert Bernecky
ISCI
2007
135views more  ISCI 2007»
15 years 18 days ago
Generalising the array split obfuscation
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
Stephen Drape
POPL
2010
ACM
15 years 10 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
PLDI
2005
ACM
15 years 6 months ago
DART: directed automated random testing
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
Patrice Godefroid, Nils Klarlund, Koushik Sen
96
Voted
ICIP
2001
IEEE
16 years 2 months ago
Integrated multimedia processing for topic segmentation and classification
In this paper we describe integrated multimedia processing for Video Scout, a system that segments and indexes TV programs according to their audio, visual, and transcript informa...
Radu S. Jasinschi, Nevenka Dimitrova, Thomas McGee...