Sciweavers

4716 search results - page 355 / 944
» Tangible functional programming
Sort
View

Book
332views
17 years 4 months ago
Developing Applications With Objective Caml
"This is a preliminary translation of the book Développement d'applications avec Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, published by O�...
Emmanuel Chailloux, Pascal Manoury and Bruno Pagan...
IWPC
2009
IEEE
16 years 1 months ago
A plethora of paths
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
Eric Larson
OOPSLA
2004
Springer
16 years 3 days ago
RAIL: code instrumentation for .NET
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...
Bruno Cabral, Paulo Marques, Luís Moura Sil...
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 6 months ago
Quasi-friendly sup-interpretations
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
Jean-Yves Marion, Romain Péchoux
GLOBECOM
2007
IEEE
16 years 1 months ago
Robust Chebyshev FIR Equalization
Abstract—In Chebyshev finite-impulse response (FIR) equalization, we design an FIR filter that minimizes the Chebyshev equalization error, i.e., the maximum absolute deviation ...
Almir Mutapcic, Seung-Jean Kim, Stephen P. Boyd