1 citations · 2 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2014
On contour representation of two dimensional patterns
Iulia Teodora Banu-Demergian, Gheorghe Stefanescu
Two-dimensional patterns are used in many research areas in computer science, ranging from image processing to specification and verification of complex software systems (via scena…
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…