487 search results - page 48 / 98 » A Compiled Implementation of Normalization by Evaluation |
128
click to vote
JOT
2010
15 years 1 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
147
Voted
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
124
Voted
AIED
2009
Springer
15 years 10 months ago
2009
Springer
This study shows that affect-adaptive computer tutoring can significantly improve performance on learning efficiency and user satisfaction. We compare two different student uncer...
121
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
116
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...