Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 22 for “"OCCAM"”.
-
Réalisation du langage OCCAM-S
… traite du développement d'un langage dérivé d'OCCAM et de la construction d'un compilateur. Il s'agit de l'approfondissement d'une idée de messieurs Gabriel Girard et Richard St-Denis. Le projet initial consistait à développer un outil permettant de faciliter l'élaboration d'un système réparti. …
-
A Petri net-occam based methodology for the development of dependable distributed control software.
… of concurrent (and distributed) processes. Occam is a high level real time parallel language designed to execute on one or a network of transputers. Transputers are processing, memory and communication building blocks, and, together with occam, are shown to be suitable for controlling and …
-
Topics in computational learning theory and graph algorithms
… previously been shown that the existence of an Occam algorithm for a class of concepts is a sufficient condition for the PAC-learnability of that class. (An Occam algorithm is a randomized polynomial-time algorithm that, when given as input a sample of strings of some unknown concept to be …
-
Changes in shelf waters due to air-sea fluxes and their influence on the Arctic Ocean circulation as simulated in the OCCAM global ocean model
… of the Arctic Ocean in the high-resolution OCCAM global ocean model. The Arctic Ocean consists of deep basins surrounded by a large area of continental shelves, where cooling and ice formation play an important role in dense water formation. In the model these dense waters are transported by …
-
An iconic approach to parallel design
… is used as the basis for the graphic model while Occam is used as the target language. The hardware model onto which the model is mapped is a system of Transputers. The concept of creating icons for the primitives and constructs is used to develop the building blocks for more complex design. Icons …
-
Combining altimetry and hydrography with inverse methods
… in the Ocean Circulation and climate model (OCCAM). The Bernoulli inverse method predicts the SSH by finding geostrophic streamlines along which the Bernoulli function is conserved. These streamlines are defined where modified potential temperature and salinity are conserved. This predicted …
-
Circulation at the South-West Indian Ridge in a high-resolution global ocean model
… Circulation and Climate Advanced Modelling (OCCAM) project. The model's representation of the dynamic nature of this region is assessed. On average 2 - 3 intense and well-defined eddies are generated per year within the model; having mean longevities of 4.89 ± 2.20 months with average …
-
An investigation of various computational techniques in optical fringe analysis.
… is discussed and analysed. A comparison between occam 2 and HPF, two compilers based upon a very different philosophy, is given. A case study with implementations in occam 2 and high performance FORTRAN (HPF) is presented. The advantages and disadvantages of each solution are critically assessed.
-
A design environment for deadlock-free concurrent software
… implementation in the real-time environment. The Occam language supports concurrent programming and is a language where interprocess interaction takes place by communications. This may lead to deadlock due to communication failure. Proper systematic methods must be adopted in the design of …
-
Digital image processing of orbital synthetic aperture radar
… network is described in detail, together with OCCAM software to perform the Radon transform within a few seconds. The Radon transform, performed via the two-dimensional frequency domain, uses a technique based on the Fourier slice theorem, and in this thesis a previously reported ambiguity is …
-
The Design of Fault Tolerant Software for Loosely Coupled Distributed Systems
… scheme using the concurrent language occam is proposed. The structure of the conversation is defined using the special features of occam. The proposed implementation gives a structure which is independent of the application and is independent of the number of processes involved. …
-
The transputer control of induction motor drives
… and its associated programming language occam. It was a flexible and comprehensive drive system comprising: (i) an on-line user interactive environment facilitated by the Transputer Development System; (ii) a 3-phase inverter bridge as the power conditioning unit; and (iii) a signal …
-
Computer control of machines utilising independent drive mechanisms
… using the concurrent programming language Occam, is detailed. The ability of this modular computer controller to support flexible, safe and fault-tolerant operation of the two intermittent motion, discrete-synchronisation independent drive mechanisms is presented. The application of the …
-
Multi-fold TDEM Experiment Design for Near Surface Conductivity Mapping
… ZCMO result as an initial model, regularized 1D Occam inversions determined a 3-layer electrical structure consisting of a 3.5 m – 5 m thick resistive upper layer, over an 12.5 m – 15 m thick conductive layer, overlying a resistive half-space. From correlation of the inverse solutions with ZCMO …
-
The application of optimal transputer architecture to concurrent processing in the implementation of vision processing algorithms
… with the new parallel programming language, occam, the transputer was specifically designed for parallel processing applications. Large transputer networks can be used for computationally<br/>intensive applications.<br/><br/>This work has investigated the use of transputers for performing …
-
Visual parallel programming via petri nets
… supporting NASA project, the code generated is Occam, and the target processor is the Inmos Transputer.</p>
-
The automated translation of integrated formal specifications into concurrent programs
… a concurrent Java implementation for CSP/occam.<br/>In this thesis, we present a developing strategy for implementing such a combined specificationas a concurrent Java program. The combined semantics in PROB is flexible and ideal for model checking, but is too abstract to be implemented in …
-
A verified compiler for Handel-C
… approach has already been applied to subsets of Occam and Verilog. Our work builds on some ideas from these works but focuses on the more complex timing model imposed by Handel-C. Moreover, our work covers features like shared variables, multi-way communications and priorities which, to our …
-
Constraining the kinetically dominated Universe: Bayesian methods and primordial cosmology
… is no clear preference for either model. Any Occam penalty from the higher complexity of a model with a kinetically dominated stage is balanced out by a better t to the large-scale lack of power in the CMB. Chapter 5 extends the previous analysis, allowing for a variable amount of spatial …
Page 1 of 2