Sciweavers

10802 search results - page 92 / 2161
» Generative and developmental systems
Sort
View
FUIN
2007
60views more  FUIN 2007»
13 years 9 months ago
On String Languages Generated by Spiking Neural P Systems
Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorg...
SIGSOFT
2008
ACM
13 years 9 months ago
Generation of concurrency control code using discrete-event systems theory
Christopher Dragert, Jürgen Dingel, Karen Rud...
TCS
2008
13 years 9 months ago
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...