Computer Software

Graph grammar-driven parallel partial differential equation solver

Distributed Computing / Computer Software

Two-sorted Point-Interval Temporal Logics

Cognitive Science / Computer Software

Model driven code checking

Cognitive Science / Model Checking / Distributed System / Software Verification / Computer Software / Automated Software Engineering / State Space / Formal Verification / Design Model / Automated Software Engineering / State Space / Formal Verification / Design Model

Dialgebraic Logics

Cognitive Science / Computer Software

COMQUAD

Computer Software

Does Beautiful Code Imply Beautiful Design?

Information Systems / Computer Software / IEEE B.Tech Software Projects

Computer Languages: A perspective

Cognitive Science / Computer Software / Computer Languages

A Scenario Construction Process

Information Systems / Requirements Engineering / Complex System / Computer Software / Natural language / Non Functional Requirement / Use Case / Requirements / Construction Process / Non Functional Requirement / Use Case / Requirements / Construction Process

Semantics-Driven Language Design

Cognitive Science / Language Design / Computer Software

Use Case Maps as a property specification language

Information Systems / Model Checking / Computer Software / Formal Specification / Formal Verification / User Acceptance / Software Requirement Specification / Temporal Logic / User Acceptance / Software Requirement Specification / Temporal Logic

Use Case Maps as a property specification language

Information Systems / Model Checking / Computer Software / Formal Specification / Formal Verification / User Acceptance / Software Requirement Specification / Temporal Logic / User Acceptance / Software Requirement Specification / Temporal Logic

Easily Testable Two-Dimensional Cellular Logic Arrays

Distributed Computing / Fault Detection / Computer Hardware / Computer Software

Computer aided design of database internal schema

Distributed Computing / Computer Software / Design Model

Parallel probabilistic model checking on general purpose graphics processors

Static Analysis / Model Checking / Modeling / Linear Algebra / Computer Software / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU) / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU)

Parallel probabilistic model checking on general purpose graphics processors

Static Analysis / Model Checking / Modeling / Linear Algebra / Computer Software / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU) / Graphics / Case Study / Probabilistic Model Checking / Parallel Algorithm / On / Linear Equations / Matrix Calculus / graphic processing unit (GPU)

A comprehensive analytical model of interconnection networks in large-scale cluster systems

Distributed Computing / Computer Software / Throughput / Analytical Model / Large Scale / Latency / Cluster System / Latency / Cluster System

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

Copyright © 2017 DATOSPDF Inc.