A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(5)
Show More
Show Less
Author
Barreto, Marcos Ennes
(1)
Bria, Oscar N.
(1)
Camargo, Murilo Silva de
(1)
Cavalheiro, Gerson G. H.
(1)
Delrieux, Claudio
(1)
Gonzalez, Jesús Alberto
(1)
Iparraguirre, Javier
(1)
León, Coromoto
(1)
Mello, Braulio Adriano de
(1)
Navaux, Philippe O. A.
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(5)
Distributed
(5)
Parallel processing
(5)
Languages
(2)
Algorithms
(1)
Arquitectura de computadoras
(1)
Fast Convolution
(1)
Gateway CMIP-SNMP
(1)
Gerência de Redes
(1)
Ingeniería del Software
(1)
Show More
Show Less
Year
2012
(5)
1997
(3)
2000
(1)
2004
(1)
Show More
Show Less
Document Type
Sin Especificar
(5)
Show More
Show Less
Language
Inglés
(2)
Español
(2)
Portugués
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Subject:
Distributed Systems
Sort by
Score
Title
Year
-
1-5 from
5
results
(0.017 seconds)
Title:
Utilizando LOTOS na concepção formal de uma aplicação para gerência de redes : Especificação e verificação
Author:
Mello, Braulio Adriano de
/
Camargo, Murilo Silva de
/
Specialski, Elizabeth Sueli
Language:
Portugués
Repository:
37
Subject:
Ciencias Informáticas
/
Simulation
/
Parallel processing
/
Distributed
/
Técnicas de Descrição Formal
/
LOTOS
/
Simulação
/
Verificação
/
Gerência de Redes
/
Gateway CMIP-SNMP
Acceder
Title:
RTL fast convolution using the mersenne number transform
Author:
Bria, Oscar N.
/
Villagarcía Wanza, Horacio A.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Fast Convolution
/
Mersenne Number Transform
/
Languages
/
RTL
/
Distributed
/
Parallel processing
Acceder
Title:
Implementação de um algoritmo de criação de checkpoints para a linguagem distribuída DPC++
Author:
Santos, Rafael R. dos
/
Pilla, Maurício Lima
/
Barreto, Marcos Ennes
/
Cavalheiro, Gerson G. H.
/
Navaux, Philippe O. A.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
algoritmo de criação de checkpoints
/
linguagem distribuída DPC++
/
Distributed
/
Algorithms
/
Languages
/
Parallel processing
Acceder
Title:
Nested parallelism in parallels paradigms
Author:
Piccoli, María Fabiana
/
Printista, Alicia Marcela
/
Gonzalez, Jesús Alberto
/
León, Coromoto
/
Roda García, José Luis
/
Rodriguez, C.
/
Sande, Francisco de
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Parallel processing
/
Distributed
/
Parallel
/
Nested parallelism
/
parallels paradigms
Acceder
Title:
La tubería de diseño de sistemas integrados
Author:
Iparraguirre, Javier
/
Delrieux, Claudio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Arquitectura de computadoras
/
Real time
/
SOFTWARE ENGINEERING
/
Sistemas Integrados
/
Ingeniería del Software
/
Parallel processing
/
Sistemas de tiempo real
/
Distributed
Acceder
« Previous
1
Next »