Computer Software

Supporting program comprehension in large preprocessor-based software product lines

Program Comprehension / Computer Software / Software Product Line / Electrical And Electronic Engineering

Supporting Program Comprehension in Large Preprocessor-Based Software Product Lines

Program Comprehension / Computer Software / Software Product Line / Electrical And Electronic Engineering

Portable, parallelizing Pascal compiler

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

The {open_quotes} unknown {close_quotes} in computer algebra

Computer Software

A science data gateway for environmental management

Distributed Computing / Computer Software

Incorporating Formal Techniques into Industrial Practice: an Experience Report

Cognitive Science / Computer Software

A model parametric real-time logic

Information Systems / Computer Software / Formal Specification / Real Time Systems / First Order Logic / Boolean Satisfiability / Temporal Logic / Boolean Satisfiability / Temporal Logic

A model parametric real-time logic

Information Systems / Computer Software / Formal Specification / Real Time Systems / First Order Logic / Boolean Satisfiability / Temporal Logic / Boolean Satisfiability / Temporal Logic

The European Logarithmic Microprocesor

Distributed Computing / Computer Hardware / Computer Software / High Speed / Floating Point

Incompleteness of Behavioral Logics

Cognitive Science / Computer Software / Upper Bound

Parallel logic programming for problem solving

Distributed Computing / Parallel Programming / Problem Solving / Computer Software / Job shop scheduling / Job Shop Scheduling Problem

Diagrams or structural lists in software project retrospectives – An experimental comparison

Information Systems / Computer Software / Systems Software

High-Level Data Races

Software Verification / Data Structure / Computer Software / Data Races

Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses

Cognitive Science / Abstract Interpretation / Computer Software / Transfer Function / Interactive Theorem Proving

Easily Testable Two-Dimensional Cellular Logic Arrays

Distributed Computing / Fault Detection / Computer Hardware / Computer Software

Supporting program comprehension in large preprocessor-based software product lines

Program Comprehension / Computer Software / Software Product Line / Electrical And Electronic Engineering

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

Copyright © 2017 DATOSPDF Inc.