Artículos -

Navegar

Últimos Documentos Autor FCEN - Año Autor FCEN - Revista Año - Revista Revista - Año SubjectPcEn Colores Type

Colección

Datos Estadísticas

Lista de

a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z

Garbervetsky, Diego

30

2009

3

"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462

"Symbolic polynomial maximization over convex sets and its application to memory requirement estimation" (2009) Clauss, P.; Fernández, F.J.; Garbervetsky, D.; Verdoolaege, S. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 17(8):983-996

"On transforming Java-like programs into memory-predictable code" (2009) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009:140-149

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274

Biblioteca Campus Virtual Trámites Intranet Webmail Contacto UBA