2233 search results - page 141 / 447 » Modular type classes |
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
101
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We describe a generator for hierarchical problems called the Hierarchical Problem Generator (HPG). Hierarchical problems are of interest since they constitute a class of problems ...
104
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Embedded Cartesian Genetic Programming (ECGP) is a form of the graph based Cartesian Genetic Programming (CGP) in which modules are automatically acquired and evolved. In this pap...
119
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
120
Voted
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...