Sciweavers

3796 search results - page 508 / 760
» Presentations by Programmers for Programmers
Sort
View
ICARIS
2005
Springer
16 years 2 days ago
A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
John Newborough, Susan Stepney
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 2 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 2 days ago
The Implementation of iData
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
Rinus Plasmeijer, Peter Achten
OOPSLA
2005
Springer
16 years 1 days ago
Language constructs for improving reusability in object-oriented software
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
Marko van Dooren, Eric Steegmans
PCI
2005
Springer
16 years 1 days ago
The Contribution of Game Theory to Complex Systems
We address several recent developments in non-cooperative as well as evolutionary game theory, that give a new viewpoint to Complex Systems understanding. In particular, we discuss...
Spyros C. Kontogiannis, Paul G. Spirakis