( en | de | ru )

 

Disambiguation of "Popeea, Corneliu"

Author of the publication

copydeleteadd this publication to your clipboard
Analysing memory resource bounds for low-level programs.

, , , and . ISMM, page 151-160. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Corneliu Popescu

Corneliu Balan

Corneliu Ghisoiu

Corneliu Bodea

Corneliu-Constantin Zolyneak

 

Other publications of authors with the same name

Optimizing the compaction gain in a class of IIR filters., , and . ISCAS (3), page 528-531. IEEE, (1999)A type system for resource protocol verification and its correctness proof., and . PEPM, page 135-146. ACM, (2004)Inferring Disjunctive Postconditions., and . ASIAN, volume 4435 of Lecture Notes in Computer Science, page 331-345. Springer, (2006)Core-java: an expression-oriented java., , , and . OOPSLA Companion, page 639-640. ACM, (2006)Accurate computation of compaction filters with high regularity., and . IEEE Signal Process. Lett., 9 (9): 278-281 (2002)A flow-based approach for variant parametric types., , , and . OOPSLA, page 273-290. ACM, (2006)Dual analysis for proving safety and finding bugs., and . Sci. Comput. Program., 78 (4): 390-411 (2013)An efficient algorithm for FIR filter bank completion., , and . ICASSP, page 3629-3632. IEEE, (2001)Optimal compaction gain by eigenvalue minimization., and . Signal Process., 81 (5): 1113-1116 (2001)Efficient state-space approach for FIR filter bank completion., , and . Signal Process., 83 (9): 1973-1983 (2003)