1411 search results - page 240 / 283 » Interactive Coding for Interactive Proofs |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
PROCEDIA
2010
14 years 8 months ago
2010
We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
IAT
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...
SAMOS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
WCET
2010
14 years 7 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...