𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Developing parallel object-oriented programs in the framework of VDM

✍ Scribed by Lu Jian

Publisher
Springer
Year
1996
Tongue
English
Weight
888 KB
Volume
2
Category
Article
ISSN
1022-7091

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Novice comprehension of small programs w
Novice comprehension of small programs written in the procedural and object-oriented styles
✍ SUSAN WIEDENBECK; VENNILA RAMALINGAM πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 161 KB

This research studied the comprehension of small procedural and object-oriented programs by novice programmers. The objective was to "nd out what kinds of information novice programmers extract from small programs and to infer from this the mental representation formed during program comprehension.

Development of an intelligent inspection
Development of an intelligent inspection planning system in an object oriented programming environment
✍ Uptal Roy; Yaoxian Xu; Luming Wang πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 645 KB

This paper presents the basic framework of an intelligent planning environment for automated dimensional inspection. The goal is to develop a decision planner that can directly interpret the design data provided in the CAD product model and generate inspection procedures. A prototype has been report

The object-oriented development of a par
The object-oriented development of a parallel application in protein dynamics: why we need software tools for HPCN applications
✍ Lars BΓ¦kdal; Wouter Joosen; Thomas Larsen; Jiri Kolafa; Jens H. Ovesen; John W. πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 922 KB

We analyse the concurrency and performance of the various types of force calculations involved in the molecular dynamics simulation of large protein or polyelectrolyte molecules. Although this analysis can in principle be used to write a recta-program to optimize load-balancing of this application o

An object-oriented framework for the imp
An object-oriented framework for the implementation of adjoint techniques in the design and control of complex continuum systems
✍ Rajiv Sampath; Nicholas Zabaras πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 505 KB

SpeciΓΏc object-oriented software design concepts are elaborated for a novel implementation of a class of adjoint optimization problems typical of the inΓΏnite-dimensional design and control of continuum systems. For clarity, the design steps and ideas are elucidated using an inverse natural convectio