Programming language

Centaur: the system

Formal Specification / Code Generation / Interactive Learning Environment / Man Machine Interface / Object Oriented / Programming language

Centaur: the system

Formal Specification / Code Generation / Interactive Learning Environment / Man Machine Interface / Object Oriented / Programming language

Mapping a single assignment programming language to reconfigurable systems

Distributed Computing / Image Processing / Reconfigurable Computing / Code Generation / The / Programming language

Ocamlp3l a functional parallel programming system

Language Design / Programming language

Architectural Semantics for Practical Transactional Memory

Conflict Resolution / Transactional Memory / OPERATING SYSTEM / Perforation / Programming language

Activating networks: a progress report

Web Proxy / Security Model / Computer / Programming language

Formal Techniques for Java-Like Programs

Program Analysis / Specification Language / Type System / Programming language

Um Modelo Espacial para Integração dos Dados da Saúde Implementado em Software Livre

Information Technology / Open Source Software / Public Health / Free Software / Heterogeneous Databases / OPERATING SYSTEM / Knowledge Discovery / DATABASE MANAGEMENT SYSTEM / Rio Grande do Sul / Data Model / Programming language / OPERATING SYSTEM / Knowledge Discovery / DATABASE MANAGEMENT SYSTEM / Rio Grande do Sul / Data Model / Programming language

Um Modelo Espacial para Integração dos Dados da Saúde Implementado em Software Livre

Information Technology / Open Source Software / Public Health / Free Software / Heterogeneous Databases / OPERATING SYSTEM / Knowledge Discovery / DATABASE MANAGEMENT SYSTEM / Rio Grande do Sul / Data Model / Programming language / OPERATING SYSTEM / Knowledge Discovery / DATABASE MANAGEMENT SYSTEM / Rio Grande do Sul / Data Model / Programming language

The EGS5 Code System

History / Bibliography / Monte Carlo / Manual / New Physics / Programming language

The EGS5 Code System

History / Bibliography / Monte Carlo / Manual / New Physics / Programming language

A practical module system for LF

Modules / Structures / Proof assistant / Views / Programming language

GALS-JOP: A Java Embedded Processor for GALS Reactive Programs

Embedded Systems / Process Control / Flow Control / Control system / Concurrency / Virtual Machine / Embedded processor / Embedded System / Programming language / Reactivity / Virtual Machine / Embedded processor / Embedded System / Programming language / Reactivity

A compiler approach to scalable concurrent-program design

Information Systems / Management / Software Engineering / Abstraction / Memory / Compiler / Data Structure / Computer Software / Program Development / Fortran / Data Sharing / Program Design / Load Balance / Programming Model / Monotonicity / Programming language / Compiler / Data Structure / Computer Software / Program Development / Fortran / Data Sharing / Program Design / Load Balance / Programming Model / Monotonicity / Programming language

A compiler approach to scalable concurrent-program design

Information Systems / Management / Software Engineering / Abstraction / Memory / Compiler / Data Structure / Computer Software / Program Development / Fortran / Data Sharing / Program Design / Load Balance / Programming Model / Monotonicity / Programming language / Compiler / Data Structure / Computer Software / Program Development / Fortran / Data Sharing / Program Design / Load Balance / Programming Model / Monotonicity / Programming language

Didagraph

Graph Theory / Programming language

Copyright © 2017 DADOSPDF Inc.