2302 search results - page 254 / 461 » The Evolution of Concurrent Programs |
166
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
149
click to vote
DSL
1997
15 years 7 months ago
1997
The World-Wide Web is rich in content and services, but access to these resources must be obtained mostly through manual browsers. We would like to be able to write programs that ...
203
click to vote
PDPTA
1996
15 years 7 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
196
click to vote
BMCBI
2005
2005
Phylogenetic reconstruction of ancestral character states for gene expression and mRNA splicing data
15 years 6 months ago
Background: As genomes evolve after speciation, gene content, coding sequence, gene expression, and splicing all diverge with time from ancestors with close relatives. A minimum e...
147
click to vote
GECCO
2005
Springer
16 years 22 hour ago
2005
Springer
This paper proposes a novel technique for a program evolution based on probabilistic models. In the proposed method, two probabilistic distribution models with probabilistic depen...