Mostrando
1 - 6
Resultados de
6
Para Buscar '
Special Interest Group on Software Engineering (ACM SIGSOFT)
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Special Interest Group on Software Engineering (ACM SIGSOFT)
Mostrando
1 - 6
Resultados de
6
Para Buscar '
Special Interest Group on Software Engineering (ACM SIGSOFT)
'
, tiempo de consulta: 0.05s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Toward full elasticity in distributed static analysis: The case of callgraph analysis
por
Garbervetsky, D.
,
Zoppi, E.
,
Livshits, B.
,
Zisman A.
,
Bodden E.
,
Schafer W.
,
van Deursen A.
,
Special
Interest
Group
on
Software
Engineering
(
ACM
SIGSOFT
)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
2
Runtime controller synthesis for self-adaptation: Be discrete!
por
Uchitel, S.
,
Braberman, V.A.
,
D'Ippolito, N.
,
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
3
Specifying event-based systems with a counting fluent temporal logic
por
Regis, G.
,
Degiovanni, R.
,
D'Ippolito, N.
,
Aguirre, N.
,
Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
4
Static analysis for optimizing big data queries
por
Garbervetsky, D.
,
Pavlinovic, Z.
,
Barnett, M.
,
Musuvathi, M.
,
Mytkowicz, T.
,
Zoppi, E.
,
Zisman A.
,
Bodden E.
,
Schafer W.
,
van Deursen A.
,
Special
Interest
Group
on
Software
Engineering
(
ACM
SIGSOFT
)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
5
Assured and correct dynamic update of controllers
por
Nahabedian, L.
,
Braberman, V.
,
D'Ippolito, N.
,
Honiden, S.
,
Kramer, J.
,
Tei, K.
,
Uchitel, S.
,
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
6
Ranger: Parallel analysis of alloy models by range partitioning
por
Rosner, N.
,
Siddiqui, J.H.
,
Aguirre, N.
,
Khurshid, S.
,
Frias, M.F.
,
IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Software engineering
Static analysis
Adaptive control systems
Adaptive systems
Controller synthesis
Controllers
Reactive system
Specifications
Adaptive Systems
Alloy
Alloy analyzers
Alloy languages
Alloying
Alloys
Analysis costs
Application programs
Big Data
Big data
Concurrent systems
Continuous operation
Controller Synthesis
Correctness criterion
Data dependencies
Data query
Development environment
Development environments and tools
Distributed and concurrent systems
Dynamic update
Elasticity
Error prones
Cargando...