Sciweavers

949 search results - page 44 / 190
» Programmed Mutagenesis Is Universal
Sort
View
CONCUR
2008
Springer
15 years 6 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
AGI
2008
15 years 6 months ago
A computational approximation to the AIXI model
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
Sergey Pankov
BIRTHDAY
2000
Springer
15 years 8 months ago
Niklaus Wirth - a Pioneer of Computer Science
Niklaus Wirth is one of the most influential scientists of the early computer age. His ideas and especially his programming languages have shaped generations of programmers worldw...
Gustav Pomberger, Hanspeter Mössenböck, ...
GCA
2007
15 years 6 months ago
Grid Computing in an Academic Environment
This paper describes an investigation into the provision of grid computing facilities in a typical university environment. In particular, it focuses on the use of the Java programm...
George Wells, Gregory Atkinson
IJBC
2007
39views more  IJBC 2007»
15 years 4 months ago
Optimal CNN Templates for Linearly-Separable One-Dimensional Cellular Automata
In this tutorial, we present optimal Cellular Nonlinear Network (CNN) templates for implementing linearly-separable one-dimensional (1-D) Cellular Automata (CA). From the gallery ...
P. J. Chang, Bharathwaj Muthuswamy