Buscas alternativas:
parallel specification » parallel application (Expandir a busca)
specification and » verification and (Expandir a busca), specification of (Expandir a busca), specification _ (Expandir a busca)
and programming » math programming (Expandir a busca), cone programming (Expandir a busca), java programming (Expandir a busca)
parallel specification » parallel application (Expandir a busca)
specification and » verification and (Expandir a busca), specification of (Expandir a busca), specification _ (Expandir a busca)
and programming » math programming (Expandir a busca), cone programming (Expandir a busca), java programming (Expandir a busca)
1
Assuntos:
“...Parallel programming...”
Uma linguagem para especificação de fluxo de execução em aplicações paralelas
Dissertação
2
Assuntos:
“...Algebraic specification...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
3
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
4
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
5
Assuntos:
“...Programming language...”
Uma hierarquia de entidades de processamento para sistemas operacionais multiprocessadores e distribuídos.
Dissertação
6
Assuntos:
“...Parallel computing...”
Paralelização do cálculo de estruturas de bandas de semicondutores usando o High Performance Fortran
Dissertação
7
8
9
10
11
“... execution of this kind of application, some improvements or corrections can be identified and applied...”
Coordenação e reconfiguração dinâmica de componentes em uma plataforma de computação paralela
Dissertação
13
14
15
“... between a problem and its solution specification. Therefore MDD focuses on high-level abstraction modeling...”
MDWA : uma abordagem guiada por modelos para desenvolvimento de software Web
Dissertação
17
18
19
“.... As a consequence, class developers face changeability, parallel development and comprehensibility problems, because...”
Specifying design rules in aspect-oriented systems
Tese