Computer Software

Structural testing criteria for message-passing parallel programs

Distributed Computing / Computer Software / Message Passing / Structural Testing

Assessing systems adaptability to a product family

Computer Software / Software Product Line / Systems Architecture

Global-scale distributed I/O with ParaMEDIC

Distributed Computing / Computer Software / Search Algorithm / High performance / Wide Area Network / Large Scale

Special Issue: High Performance Agent Systems

Distributed Computing / Computer Software

Code Analysis for Temporal Predictability

Distributed Computing / Abstract Interpretation / Worst-Case Execution Time Analysis / Graph Transformation / Computer Software / Real Time Systems / Data Dependence / Compiler Optimization / Real Time / Real Time Systems / Data Dependence / Compiler Optimization / Real Time

A Deductive Approach to Program Synthesis

Information Systems / Theorem Proving / Computer Software / Program Transformation / Program Synthesis

The MPEG-7 Multimedia Database System (MPEG-7 MMDB)

Information Systems / Multimedia Indexing and Searching / Query Optimization / Computer Software / Image Retrieval / DATABASE MANAGEMENT SYSTEM / Indexation / Systems Software / Multimedia Application / Multimedia Data / DATABASE MANAGEMENT SYSTEM / Indexation / Systems Software / Multimedia Application / Multimedia Data

Incremental Parametric Development of Greedy Algorithms

Cognitive Science / Data Structure / Computer Software / Formal method / Proof Complexity / B Method / Greedy Algorithm / B Method / Greedy Algorithm

Special Issue: Grid Performance

Distributed Computing / Computer Software

Optimizing a virtualized data center

Distributed Computing / Computer Software / Virtual Machine / Data Center / Network Routing / Network Topology / Fault Tolerant / Network Topology / Fault Tolerant

Connectors as Designs

Cognitive Science / Computer Software / Unifying Theories of Programming / Coordination Mechanisms

Connectors as designs

Cognitive Science / Computer Software / Unifying Theories of Programming / Coordination Mechanisms

Algebra of Parameterised Graphs

Distributed Computing / Computer Hardware / Computer Software

Algebra of Parameterised Graphs

Distributed Computing / Computer Hardware / Computer Software

Data networks as cascades

Distributed Computing / Computer Software / computer Communication

Network conscious design of distributed real-time systems

Control system / Computer Software / Design process / Real Time Systems / Real Time Scheduling / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization

«
1
2
3
4
5
6
7
8
9
10
11
12
13
»

Copyright © 2017 DADOSPDF Inc.