Modula an extension of Modula is a program ming language for writing highly parallel programs in a machine independent problem oriented way The novel attributes of Modula are that programs are independent of the number of processors independent of whether memory is shared or distributed and inde pendent of the control modes SIMD or MIMD of a parallel machine This article brie y describes Modula...

This paper presents semiotics as a framework for unders tanding and designing computer systems as sign systems. Although semiotic methods can be applied to all levels of computer systems, they view computer systems under a particular perspective, namely as targets of interpretations. When we need to see c o m p u t e r systems as automata, semiotics has little to offer. The main focus of the pa...

This paper proposes a technique for solving a Fuzzy Linear Programming Problem(FLPP) when some of its constraints are fuzzy homogeneous. Using these fuzzy homogeneous constraints a fuzzy transformation matrix is constructed. This fuzzy transformation matrix transforms the given problem in to another FLPP with fewer fuzzy constraints. A relationship between these two problems, which ensures that...

this paper addresses a new version of the exible ow line prob- lem, i.e., the budget constrained one, in order to determine the required num- ber of processors at each station along with the selection of the most eco- nomical process routes for products. since a number of parameters, such as due dates, the amount of available budgets and the cost of opting particular routes, are imprecise (fuzz...

The use of massive parallel computer architectures for the solution of compu tation intensive tasks requires speci c programming concepts and thus makes pro gramming more di cult This is because the parallel execution and the particular properties of the chosen machine architecture must be taken into consideration An abstract programming language more closely re ecting the speci cation notation...

A declarative programming language has two kinds of semantics The more abstract helps in reasoning about speci cations and correctness while an operational semantics determines the manner of program exe cution A correct program should reconcile its abstract meaning with its concrete interpretation To help in this we present a kind of algebraic semantics for logic pro gramming It lists only thos...

We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics ...

Introduction. The theoretical and practical significance of the research is justified by need to develop a programming training model aimed at formation competencies in field using relevant didactic software tools possibil-ity introducing developed into process specialists programming. purpose work: justification expediency GitHub service study analysis effectiveness framework developing Ma-ter...

in this paper, shortest path design problem (spdp) in which the path is incident to all cells is considered. the bi-directional path is one of the known types of configuration of networks for automated guided vehi-cles (agv).to solve this problem, two algorithms are developed. for each algorithm an integer linear pro-gramming (ilp) is determined. the objective functions of both algorithms are t...