Sciweavers

4716 search results - page 443 / 944
» Tangible functional programming
Sort
View
APSEC
2005
IEEE
16 years 15 days ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
APLAS
2005
ACM
16 years 13 days ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
AIED
2005
Springer
16 years 13 days ago
Goal Transition Model and Its Application for Supporting Teachers based on Ontologies
In Japan, the “Period of Integrated Study” program to enhance practical skills began in elementary and secondary education in 2002. Most goals of this program involve meta-abil...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
EUROGP
2005
Springer
156views Optimization» more  EUROGP 2005»
16 years 12 days ago
Evolving Rules for Document Classification
We describe a novel method for using Genetic Programming to create compact classification rules based on combinations of N-Grams (character strings). Genetic programs acquire fitne...
Laurence Hirsch, Masoud Saeedi, Robin Hirsch
SIGOPSE
2004
ACM
16 years 9 days ago
Using AOP to develop architectural-neutral operating system components
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
Olaf Spinczyk, Daniel Lohmann