Sciweavers

401 search results - page 27 / 81
» Genetic Programming Theory and Practice
Sort
View

Book
246views
15 years 6 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
EMSOFT
2003
Springer
14 years 1 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
SIGCSE
1999
ACM
128views Education» more  SIGCSE 1999»
14 years 29 days ago
Discovery learning in introductory operating system courses
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
Uta Ziegler
UTP
2010
13 years 7 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
WOB
2004
120views Bioinformatics» more  WOB 2004»
13 years 10 months ago
Reconfigurable Systems for Sequence Alignment and for General Dynamic Programming
ABSTRACT. Reconfigurable systolic arrays can be adapted to efficiently resolve a wide spectrum of computational problems; parallelism is naturally explored in systolic arrays and r...
Ricardo P. Jacobi, Mauricio Ayala-Rincón, L...