1 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2008★ 1 cited
New parallel programming language design: a bridge between brain models and multi-core/many-core computers?
Gheorghe Stefanescu, Camelia Chira
The recurrent theme of this paper is that sequences of long temporal patterns as opposed to sequences of simple statements are to be fed into computation devices, being them (new p…
cs.PL2008★ 1 cited
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
Cezara Dragoi, Gheorghe Stefanescu
Interactive systems with registers and voices (shortly, "rv-systems") are a model for interactive computing obtained closing register machines with respect to a space-time duality…