Mostrando 1 - 20 resultados de 143 para a busca 'sistemas computacao java programming', tempo de busca: 0,23s

1

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...

Strategies for testing and formalizing properties of modern programming languages

Publicado em 2019
Tese

2

Assuntos: ...Ciência da Computação...

Modelagem executável de sistemas distribuídos em JAVA.

Publicado em 2006
Dissertação

3

Assuntos: ...Ciência da Computação...

Modelagem executável de sistemas distribuídos em JAVA.

Publicado em 2006
Dissertação

5

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

Publicado em 2006
Dissertação

6

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...

Uma linguagem de domínio específico para memória transacional distribuída em Java

Publicado em 2015
Dissertação

7

Assuntos: ...Tolerância à falha (Computação)...

Ações atomicas coordenadas na plataforma Java EE

Publicado em 2010
Dissertação

8

Assuntos: ...Java, Parallel Programming, Transformation Laws...

Parallelizing Java programs using transformation laws

Publicado em 2008
Dissertação

9

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...

Java-XSC : módulo complexo e complexo intervalar

Dissertação

10

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...

JCML - Java Card Modeling Language: Definição e Implementação

Publicado em 2007
Dissertação

11

Assuntos: ...Aspect-oriented Programming...

Optimizing AspectJ for Java ME Software Product Lines

Publicado em 2011
Dissertação

12

Assuntos: ...Java (Programming language of computer)...

Um ambiente integrado para manipulação de tráfego multicast

Publicado em 2004
Dissertação

13

Assuntos: ...Ciência da computação...

Método para abstração de componentes de hardware para sistemas embarcados

Publicado em 2012
Dissertação

15

Assuntos: ...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO...

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Publicado em 2007
Dissertação

16

Assuntos: ...Ciência da computação...

Um ambiente para análise de Threads distribuídas de tempo real

Publicado em 2012
Dissertação

17

Assuntos: ...Java (Linguagem de programação)...

Execução distribuída de programas funcionais usando a máquina virtual java

Publicado em 2001
Dissertação

18

Assuntos: ...Java (Computer programming language)...

Ferramenta de comunicação e acesso remoto a imagens medicas

Publicado em 2003
Dissertação

20