Computer Software

On generative parallel composition

Cognitive Science / Stochastic Process / Computer Software / System / Formal Model

Application portals: practice and experience

Distributed Computing / Grid Computing / Rapid Prototyping / Computer Software / Concurrency / Web Service

Application portals: practice and experience

Distributed Computing / Grid Computing / Rapid Prototyping / Computer Software / Concurrency / Web Service

Separability —An Approach to Physical Database Design

Distributed Computing / Computer Hardware / Computer Software

Dynamic broadcasting in parallel computing

Distributed Computing / Computer Software

The VPC trace-compression algorithms

Distributed Computing / Computer Hardware / Performance Analysis / Computer Software / Design and Implementation

Expressing and organizing real-time specification patterns via temporal logics

Information Systems / Computer Software / Formal Specification / Formal method / Formal Verification / Pattern Classification / Unified Model / Systems Software / Temporal Logic / Pattern Classification / Unified Model / Systems Software / Temporal Logic

Comprehensive synchronization elimination for Java

Computer Software / Science Computer / Environmental Science and Computer Programming

A Basic Parallel Process as a Parallel Pushdown Automaton

Cognitive Science / Computer Software / Automata Theory / Process Algebra

Portable, parallelizing Pascal compiler

Information Systems / Distributed Shared Memory System / Data Structure / Computer Software / Shared memory / Source Code

jContractor

Cognitive Science / Computer Software

Hyper-systolic parallel computing

Distributed Computing / Computer Software / Parallel Algorithm / Exact Computation / Parallel Computer

A Contrast Between Language Level Measures

Information Systems / Problem Solving / Computer Software
Copyright © 2017 DATOSPDF Inc.