Sciweavers

1821 search results - page 4 / 365
» Security-Aware Program Transformations
Sort
View
FP
1992
87views Formal Methods» more  FP 1992»
13 years 11 months ago
On Program Transformation in the Glasgow Haskell Compiler
In this paper we describe a series of program transformations that are currently being implemented in the Glasgow Haskell Compiler. They are semantics preserving program transform...
André Santos, Simon L. Peyton Jones
SIGADA
1998
Springer
13 years 11 months ago
Transforming Ada Serving Tasks into Protected Objects
Bangqing Li, Baowen Xu, Huiming Yu
JMLR
2012
11 years 10 months ago
Deep Learning Made Easier by Linear Transformations in Perceptrons
We transform the outputs of each hidden neuron in a multi-layer perceptron network to have zero output and zero slope on average, and use separate shortcut connections to model th...
Tapani Raiko, Harri Valpola, Yann LeCun