Biblioteca Digital
|
Depositar
|
Políticas
|
Formularios
|
Eventos
Colecciones
Tesis de Posgrado
Tesis de Grado
Artículos
Programas
Publicaciones
Reportes Técnicos
Libros
Archivo
Fotografías
Archivo Oral de la Memoria - EXACTAS UBA
Publicaciones
Exactamente
La Ménsula
Anales AFA
El Hornero
Ecología Austral
El Cable
QED
QuimicaViva
Chemia
Holmbergia
Biblioteca Digital Exactas
Artículos
Todos los campos
Texto
Título
Autor
Resumen
Año
Referencias
Tema
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
$
0
1
-
1
1
-
1
-
1
-
1
1
1
2
3
4
5
6
7
8
9
a
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
‐
-
a
-
a
-
a
-
a
-
a
-
a
-
‐
a
-
a
-
a
-
a
b
-
b
-
b
-
b
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
+
c
-
c
-
c
-
c
-
c
-
c
-
c
-
c
c
-
c
-
c
d
-
d
-
d
-
d
-
d
-
d
-
d
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
-
e
f
-
f
-
f
f
g
-
g
-
g
-
g
-
g
-
g
-
g
-
g
-
‐
g
-
g
-
‐
g
-
g
h
‐
h
h
-
h
-
h
-
h
-
h
i
-
i
j
k
-
k
-
k
-
k
-
k
-
k
l
-
l
-
l
-
l
-
l
-
l
-
l
l
+
l
±
l
l
m
-
m
-
m
-
m
-
m
-
m
+
m
-
m
-
m
-
m
-
‐
m
n
-
n
-
n
-
n
-
n
o
p
-
p
p
-
p
-
p
q
r
-
r
-
r
s
-
s
-
s
{
s
-
s
t
-
t
‐
-
t
-
t
-
t
t
-
t
u
v
v
w
x
-
x
y
z
α
β
—
,
δ
π
-
Computer architecture
9
"An extended description of MORPH: A reference architecture for configuration and behaviour self-adaptation"
(2017) Braberman, V.;D’Ippolito, N.;Kramer, J. (
...
)de Lemos R. International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013. 9640 LNCS:377-408
"Evaluation of a master-slave parallel evolutionary algorithm applied to artificial intelligence for games in the xeon-phi many-core platform"
(2017) Leopold, S.R.;Parodi, F.;Nesmachnow, S. (
...
)Klapp J. 3rd Latin American Conference on High Performance Computing, CARLA 2016. 697:161-176
"Formal specification and implementation of an automated pattern-based parallel-code generation framework"
(2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20
"TacoPlug: An eclipse plug-in for TACO"
(2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42
"Issues in distributed timed model checking"
(2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18
"Zeus: A distributed timed model-checker based on Kronos"
(2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"Two graph-based techniques for software architecture reconfiguration"
(2002) Hirsch, D.; Montanari, U.; Bauderon M.; Corradini A. GETGRATS Closing Workshop. 51:177-190
"Observing timed systems by means of message sequence chart graphs"
(2002) Blaustein, S.; Oliveto, F.; Braberman, V. 24th International Conference on Software Engineering (ICSE 2002):707
"Using the DEVS paradigm to implement a simulated processor"
(2000) Daicz, S.; Tróccoli, A.; Zlotnik, S.; Wainer, G. Proceedings of the IEEE Annual Simulation Symposium:58-65
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400
Biblioteca
|
Campus Virtual
|
Trámites
|
Intranet
|
Webmail
|
Contacto
|
UBA