Reliability models for dataflow computer systems

The demands for concurrent operation within a computer system and the representation of parallelism in programming languages have yielded a new form of program representation known as data flow (DENN 74, DENN 75, TREL 82a). A new model based on data flow principles for parallel computations and parallel computer systems is presented. Necessary conditions for liveness and deadlock freeness in data flow graphs are derived. The data flow graph is used as a model to represent asynchronous concurrent computer architectures including data flow computers

Ocean feature recognition using genetic algorithms with fuzzy fitness functions (GA/F3)

A model for genetic algorithms with semantic nets is derived for which the relationships between concepts is depicted as a semantic net. An organism represents the manner in which objects in a scene are attached to concepts in the net. Predicates between object pairs are continuous valued truth functions in the form of an inverse exponential function (e sub beta lxl). 1:n relationships are combined via the fuzzy OR (Max (...)). Finally, predicates between pairs of concepts are resolved by taking the average of the combined predicate values of the objects attached to the concept at the tail of the arc representing the predicate in the semantic net. The method is illustrated by applying it to the identification of oceanic features in the North Atlantic

A survey of compiler development aids

A theoretical background was established for the compilation process by dividing it into five phases and explaining the concepts and algorithms that underpin each. The five selected phases were lexical analysis, syntax analysis, semantic analysis, optimization, and code generation. Graph theoretical optimization techniques were presented, and approaches to code generation were described for both one-pass and multipass compilation environments. Following the initial tutorial sections, more than 20 tools that were developed to aid in the process of writing compilers were surveyed. Eight of the more recent compiler development aids were selected for special attention - SIMCMP/STAGE2, LANG-PAK, COGENT, XPL, AED, CWIC, LIS, and JOCIT. The impact of compiler development aids were assessed some of their shortcomings and some of the areas of research currently in progress were inspected

SSL: A software specification language

SSL (Software Specification Language) is a new formalism for the definition of specifications for software systems. The language provides a linear format for the representation of the information normally displayed in a two-dimensional module inter-dependency diagram. In comparing SSL to FORTRAN or ALGOL, it is found to be largely complementary to the algorithmic (procedural) languages. SSL is capable of representing explicitly module interconnections and global data flow, information which is deeply imbedded in the algorithmic languages. On the other hand, SSL is not designed to depict the control flow within modules. The SSL level of software design explicitly depicts intermodule data flow as a functional specification

Shelter from the storm : the land struggles of bonded labor in India

Meeting: Celebrating Dialogue : An International SAS2 Forum, November 3, 2008, Carleton University, Ottawa, ON, CASAS reports are made available in order to provide timely access to the information by interested researchers. This report has been subject to an internal review process to ensure accuracy and quality

SAS2

SAS reports are made available in order to provide timely access to the information by interested researchers. This report has been subject to an internal review process to ensure accuracy and quality.The paper outlines issues arising in a planning process with a poor tribal group who have no legal title to the land where their homes have been for decades. Families live with the constant fear of eviction, an ever-increasing occurrence in Thane District where land prices are rising rapidly due to proximity to Mumbai. The character of the project was identified and a planning approach and management tool was selected. Six months later, a second assessment was done and project modalities adjusted

SAS2

SAS reports are made available in order to provide timely access to the information by interested researchers. This report has been subject to an internal review process to ensure accuracy and quality.Towards the end of this assessment process, participants decided to present a land petition at the village assembly and with officials of the revenue department, in an attempt to broaden their network of support and draw attention to their rights. The focus of the assessment was neglect of government officials and elected representatives. Participants also recognized that gaps in information and communication related to the Katkari’s legal rights as residents of tribal lands, worsen the situation by keeping from public view illegal advantages held by wealthy landowners. The paper provides a brief overview of this situation

SAS2

SAS reports are made available in order to provide timely access to the information by interested researchers. This report has been subject to an internal review process to ensure accuracy and quality.The Katkari are classified as a Primitive Tribal Group with specific measures for legal protection of their rights, and there are provisions in the Integrated Tribal Development Project (ITDP) to compensate land owners in cases of expropriation of land. This paper provides a rationale, co-created by the villagers, to continue learning about their land rights, and to explore more actively the options for diversifying community livelihoods. The vast majority work as bonded labour on brick-making units in the region, and fear eviction now that land has been sold to a wealthy Mumbai landowner

SAS2

SAS reports are made available in order to provide timely access to the information by interested researchers. This report has been subject to an internal review process to ensure accuracy and quality

System support software for the Space Ultrareliable Modular Computer (SUMC)

The highly transportable programming system designed and implemented to support the development of software for the Space Ultrareliable Modular Computer (SUMC) is described. The SUMC system support software consists of program modules called processors. The initial set of processors consists of the supervisor, the general purpose assembler for SUMC instruction and microcode input, linkage editors, an instruction level simulator, a microcode grid print processor, and user oriented utility programs. A FORTRAN 4 compiler is undergoing development. The design facilitates the addition of new processors with a minimum effort and provides the user quasi host independence on the ground based operational software development computer. Additional capability is provided to accommodate variations in the SUMC architecture without consequent major modifications in the initial processors