Sciweavers

2625 search results - page 118 / 525
» The development of the Emerald programming language
Sort
View
JMLR
2012
13 years 12 days ago
Sparse Additive Machine
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
Tuo Zhao, Han Liu
TLCA
2005
Springer
15 years 3 months ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
OSDI
2008
ACM
15 years 8 days ago
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Bud...
FOAL
2008
ACM
14 years 11 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
C5
2004
IEEE
15 years 1 months ago
Dolittle - Experiences in Teaching Programming at K12 Schools
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriente...
Susumu Kanemune, Takako Nakatani, Rie Mitarai, Shi...