2253 search results - page 112 / 451 » Computing with Realizational Morphology |
612
click to vote
Lab
Division for foundations of software led by Professor Minoru Ito in graduate school of information science at Nara Institute of Science and Technology, JAPAN, is engaged in researc...
149
Voted
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
129
click to vote
ENTCS
2008
15 years 4 months ago
2008
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on t...
114
click to vote
ENTCS
2008
15 years 4 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
180
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
While there have been great advances in quantification of the genotype of organisms, including full genomes for many species, the quantification of phenotype is at a comparatively...