No description available.

No description available.

This thesis is missing page 95, copies of this thesis do not have the page. -Digitization Centre / A new high-level, high-order computer programming language designed to complement multi-processor, parallel computing systems is presented, These systems permit a high-order of operation by performing many instructions simultaneously, thus producing significant increases in computing The proposed language is so constructed as to give the user a free and natural format, to express problems which exhibit natural or inherent parallelism® In order to demonstrate some of the main features, a small subset of the language has been written, and implemented as a sequential simulation. In order to relate the language to hardware schemes, a parallel processing array computer is briefly examined. A core language to communicate with parallel computing systems may be constructed from the concepts developed. / Thesis / Master of Engineering (ME)

The thesis explores the possible use of parametric object definitions during capacity analysis to support Open Building design processes.The study proposes that design criteria regarding possible size, position and relation of design elements can be formulated and modeled parametrically. Then developed parametric data can be used as library objects during the exploration of dwelling unit layout alternatives. Parametric models, holding explicit design information can be shared, modified and re-used in different design cases. The process and criteria used in the study are based on S.A.R. (Stichting Architecten Research) methods described in the study, "Variations - The Systematic Design of Supports" focused particularly on residential building types. Parallel to the S.A.R methods, the study focuses on the spatial capacity analysis between a floor plate and a number of alternative dwelling unit layout arrangements. Other capacity analyses such as structural, daylight or thermal performances can be formulated and studied in a similar way, but are not included in this study.GDL (Geometric Description Language), a programming medium for ArchiCAD software, is used for the production of parametric models. The Keyenburg housing project designed by Dutch architect Frans Van Der Werf is taken as a base-building model to demonstrate the development and the use of parametric models.Keywords: Open Building, capacity analysis, parametric objects, design constraints, GDL (Geometric Description Language) / Department of Architecture

Thesis (M.S.)--Rochester Institute of Technology, 1990. / Includes bibliographical references (leaves 70-71).

Thesis (M.S.)--University of Tennessee, Knoxville, 2003. / Title from title page screen (viewed Sept. 23, 2003). Thesis advisor: Christopher Pionke. Document formatted into pages (xv, 314 p. : ill. (some col.)). Vita. Includes bibliographical references (p. 137-139).

Orientador: Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T04:55:54Z (GMT). No. of bitstreams: 1 Fanelli_EltonGustavo_M.pdf: 1448895 bytes, checksum: 513ab9546abfaae1b9d4c5ba4ab6fa2e (MD5) Previous issue date: 2006 / Mestrado / Banco de Dados, Analise de Algoritmos e Complexidade / Mestre em Ciência da Computação

Thesis (MSc)--University of Stellenbosch, 2001. / ENGLISH ABSTRACT: Computer-aided verification techniques, such as model checking, are often considered essential to produce highly reliable software systems. Modern model checkers generally require models to be written in eSP-like notations. Unfortunately, such systems are usually implemented using conventional imperative programming languages. Translating the one paradigm into the other is a difficult and error prone process. If one were to program in a process-oriented language from the outset, the chasm between implementation and model could be bridged more readily. This would lead to more accurate models and ultimately more reliable software. This thesis covers the definition of a process-oriented language targeted specifically towards embedded systems and the implementation of a suitable compiler and run-time system. The language, LF, is for the most part an extension of the language Joyce, which was defined by Brinch Hansen. Both LF and Joyce have features which I believe make them easier to use than other esp based languages such as occam. An example of this is a selective communication primitive which allows for both input and output guards which is not supported in occam. The efficiency of the implementation is important. The language was therefore designed to be expressive, but constructs which are expensive to implement were avoided. Security, however, was the overriding consideration in the design of the language and runtime system. The compiler produces native code. Most other esp derived languages are either interpreted or execute as tasks on host operating systems. Arguably this is because most implementations of esp and derivations thereof are for academic purposes only. LF is intended to be an implementation language. The performance of the implementation is evaluated in terms of practical metries such as the time needed to complete communication operations and the average time needed to service an interrupt. / AFRIKAANSE OPSOMMING: Rekenaar ondersteunde verifikasietegnieke soos programmodellering, is onontbeerlik in die ontwikkeling van hoogs betroubare programmatuur. In die algemeen, aanvaar programme wat modelle toets eSP-agtige notasie as toevoer. Die meeste programme word egter in meer konvensionele imperatiewe programmeertale ontwikkel. Die vertaling vanuit die een paradigma na die ander is 'n moelike proses, wat baie ruimte laat vir foute. Indien daar uit die staanspoor in 'n proses gebaseerde taal geprogrammeer word, sou die verwydering tussen model en program makliker oorbrug kon word. Dit lei tot akkurater modelle en uiteindelik tot betroubaarder programmatuur. Die tesis ondersoek die definisie van 'n proses gebaseerde taal, wat gemik is op ingebedde programmatuur. Verder word die implementasie van 'n toepaslike vertaler en looptyd omgewing ook bespreek. Die taal, LF, is grotendeels gebaseer op Joyce, wat deur Brinch Hansen ontwikkel is. Joyce en op sy beurt LF, is verbeterings op ander esp verwante tale soos occam. 'n Voorbeeld hiervan is 'n selektiewe kommunikasieprimitief wat die gebruik van beide toevoer- en afvoerwagte ondersteun. Omdat 'n effektiewe implementasie nagestreef word, is die taalontwerp om so nadruklik moontlik te wees, sonder om strukture in te sluit wat oneffektief is om te implementeer. Sekuriteit was egter die oorheersende oorweging in die ontwerp van die taal en looptyd omgewing. Die vertaler lewer masjienkode, terwyl die meeste ander implementasies van eSP-agtige tale geinterpreteer word of ondersteun word as prosesse op 'n geskikte bedryfstelsel- die meeste eSP-agtige tale word slegs vir akademiese doeleindes aangewend. LF is by uitstek ontwerp as implementasie taal. Die evaluasie van die stelsel se werkverrigting is gedoen aan die hand van praktiese maatstawwe soos die tyd wat benodig word vir kommunikasie, sowel as die gemiddelde tyd benodig vir die hantering van onderbrekings.

Orientador: Eduardo Tavares Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T06:58:33Z (GMT). No. of bitstreams: 1 Borges_CarmemLucia_M.pdf: 2608238 bytes, checksum: d1b5e1e569675e0c0e7e6bbedeaae9f1 (MD5) Previous issue date: 2003 / Resumo: O trabalho desta dissertação se baseia no desenvolvimento de uma ferramenta computacional (software) que permite a captação, transmissão, leitura, edição, e armazenamento remoto de dados biomédicos, com critérios de segurança, autenticação,autorização e integridade de dados. Como adicional importante, o software permite o acoplamento de um sistema de controle de serviços remoto. A aplicação segue um modelo de requisição de serviços cliente-servidor, sob uma arquitetura em camadas, escrita na linguagem de programação Java com as seguintes funcionalidades: visualização de imagens médicas (formato DICOM), edição remota de laudos com assinatura digital, armazenamento de dados relativos ao paciente (demográficos e imagens) e transmissão de imagens médicas. Seu objetivo principal é mostrar a possibilidade de edificação de softwares de acesso e controle remoto de dados biomédicos baseados em sistemas de segurança e permissão seletiva / Abstract: This work describes the development of a computational tool (software) that allows acquisition, transmission, reading, edition, and remote storage of biomedical data, following the protocols established for a Virtual Private Network - VPN, implying in security, authentication, authorization and integrity of data. The software allows the coupling of a control system of remote services. The application follows a model of requisition of services customer-server, under an architecture in layers, written in the programming language Java with the following functionalities: visualization of medical images (DICOM format), remote editing of medical findings with digital signature, storage of patient data (demographic and images) and transmission of medical images. Its objective is to show the possibility of construction of software for access and remote control of biomedical data based in security systems and selective permission / Mestrado / Engenharia Biomedica / Mestre em Engenharia Elétrica

No description available.