4323 search results - page 122 / 865 » Callback Implementations in C |
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
ENTCS
2008
13 years 9 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we present a novel two-stage method to realize a lightweight but very capable hardware implementation of a Learning Classifier System for on-chip learning. Learning C...
Source Code
A C++ program that utilizes the quick and accurate implementation of the simplex method (i.e., unconstrained nonlinear optimization) using vtk 4.2.
SPE
2002
13 years 8 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...