The MUSE Machine -- an Architecture for Structured Data Flow Computation

Computers employing some degree of data flow organisation are now well established as providing a possible vehicle for concurrent computation. Although data-driven computation frees the architecture from the constraints of the single program counter, processor and global memory, inherent in the classic von Neumann computer, there can still be problems with the unconstrained generation of fresh result tokens if a pure data flow approach is adopted. The advantages of allowing serial processing for those parts of a program which are inherently serial, and of permitting a demand-driven, as well as data-driven, mode of operation are identified and described. The MUSE machine described here is a structured architecture supporting both serial and parallel processing which allows the abstract structure of a program to be mapped onto the machine in a logical way

Computer architectures for functional and logic languages

PhD ThesisIn recent years interest in functional and logic languages has grown considerably. Both classes of language offer advantages for programming and have an influential group of people promoting them. As yet no consensus has formed as to which class is best, and such a consensus may never form. Future general-purpose computer architectures may well be required to support both classes of language efficiently. Novel architectures designed to support both classes of languages could even add impetus to the area of hybrid functional/logic languages. Treleaven et al[68] have proposed a classification of computational mechanisms which they believe underly several types of novel computer architecture (i.e. control flow, data flow and reduction). The classification partitions novel general-purpose architectures into the following classes: control driven - where a statement is executed when it is selected by flow(s) of control, data driven - where a statement is executed when some combination of its arguments are available, and demand driven - where a statement is executed when the result it produces is needed by another, already active instruction. This thesis investigates the efficient support of both functional and logic languages using an architecture that attempts to be general purpose by embodying all the mechanisms that underly the above classification. A novel packet communication architecture is presented which intergrates the control driven, data driven and demand driven computational mechanisms. A software emulator for the machine was used as the basis for separate implementations of functional and logic languages, which were in turn used to evaluate the effectiveness of the computational mechanisms described in the classification. These mechanisms allowed functional languages to be implemented wi th ease, but caused severe problems when used to support logic languages. The difficulties with these mechanisms are taken as signifying that they do not provide adequate support for logic languages. The problems encountered led to the development of a novel implementation technique for logic languages, which also proved to be a good basis for a combined functional and logic model. This model is believed to provide a sound foundation for a parallel computer system that would support functional and logic languages with equal elegance and efficiency, and would therefore also support hybrid languages. The design for such a computer is described at the end of this thesis.the Science and Engineering Research Council, Great Britain

Fault tolerant architectures for integrated aircraft electronics systems, task 2

The architectural basis for an advanced fault tolerant on-board computer to succeed the current generation of fault tolerant computers is examined. The network error tolerant system architecture is studied with particular attention to intercluster configurations and communication protocols, and to refined reliability estimates. The diagnosis of faults, so that appropriate choices for reconfiguration can be made is discussed. The analysis relates particularly to the recognition of transient faults in a system with tasks at many levels of priority. The demand driven data-flow architecture, which appears to have possible application in fault tolerant systems is described and work investigating the feasibility of automatic generation of aircraft flight control programs from abstract specifications is reported

Leveraging on Data Sciences: Review of Architectural Practice and Education in Nigeria

Big data sciences demand the significant role of the architect. Particularly, facilitate the birth of an antifragile construction industry and more robust data sciences community of professionals. Skilled community necessary to build sustainable liveable cities with emerging creator’s economy. Liveability, well-being, and sense of belonging in the city are connected. Conversely, dismissive attitude by decision-makers towards architectural practice and education, even among architects, in recognizing architecture as data-driven and source of data deserve rethink. Here the chapter demonstrates architects as data scientists and the symbiotic relationship that exist between architecture and 3D computer graphics while highlighting emerging data sciences opportunities and threats. The chapter adopted principally reviews of scholarly literatures, draws from authors’ 20-years personal experiences, and industry leaders’ views. The language is accessible yet academically concise. The chapter concluded with recommendations, including highlights of big data technologies potential transformation of 3D computer graphics. The implications are policy, design, and education

Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment

We present advances in the software engineering design and implementation of the multi-tier run-time system for the General Intensional Programming System (GIPSY) by further unifying the distributed technologies used to implement the Demand Migration Framework (DMF) in order to streamline distributed execution of hybrid intensional-imperative programs using Java.Comment: 11 pages, 3 figure

Rapid development of ICT business services by business engineers independent of computer scientists

Current software development requires computer scientists to create and to adapt services to new or changing needs. In addition development and maintenance of software is time and cost intensive. Customizing of standard software is laborious. Software engineering research approaches as Domain Engineering, Model Driven Software Engineering and Product Line Engineering try to increase the abstraction level of the specification of the models to reduce the required time and money to build applications and services but they still demand the implementation by computer scientists. In two projects supported by the CTI (Commission for Technology and Innovation of the Swiss Confederation) we analysed how to achieve a higher level of abstraction and how to specify database-centric business services in a manner business engineers are able to create and to adapt services completely by themselves. Besides the methodology to specify these services (data structure, business rules, etc.), methods and technologies to hide all technical aspects (infrastructure, software architecture, versioning etc.) entirely from the business engineer had to be developed. In this paper an according graphical notation to specify services or complete applications is discussed

Incorporating Agile with MDA Case Study: Online Polling System

Nowadays agile software development is used in greater extend but for small organizations only, whereas MDA is suitable for large organizations but yet not standardized. In this paper the pros and cons of Model Driven Architecture (MDA) and Extreme programming have been discussed. As both of them have some limitations and cannot be used in both large scale and small scale organizations a new architecture has been proposed. In this model it is tried to opt the advantages and important values to overcome the limitations of both the software development procedures. In support to the proposed architecture the implementation of it on Online Polling System has been discussed and all the phases of software development have been explained.Comment: 14 pages,1 Figure,1 Tabl