Factors involved in the performance of computations on Beowulf clusters.
Fairness and regularity for SCCS processes
Fault injection stress strategies in dependability analysis
FER/SubDomain : an integrated environment for finite element analysis using object-oriented approach
Development of user-friendly and flexible scientific programs is a key to their usage, extension and maintenance. This paper presents an OOP (Object-Oriented Programming) approach for design of finite element analysis programs. General organization of the developed software system, called FER/SubDomain, is given which includes the solver and the pre/post processors with a friendly GUI (Graphical User Interfaces). A case study with graphical representations illustrates some functionalities of the...
FER/SubDomain: An Integrated Environment for Finite Element Analysis using Object-Oriented Approach
Development of user-friendly and flexible scientific programs is a key to their usage, extension and maintenance. This paper presents an OOP (Object-Oriented Programming) approach for design of finite element analysis programs. General organization of the developed software system, called FER/SubDomain, is given which includes the solver and the pre/post processors with a friendly GUI (Graphical User Interfaces). A case study with graphical representations illustrates some functionalities of the...
Final dialgebras : from categories to allegories
Final Dialgebras: From Categories to Allegories
The study of inductive and coinductive types (like finite lists and streams, respectively) is usually conducted within the framework of category theory, which to all intents and purposes is a theory of sets and functions between sets. Allegory theory, an extension of category theory due to Freyd, is better suited to modelling relations between sets as opposed to functions between sets. The question thus arises of how to extend the standard categorical results on the existence of final objects...
Finite and infinite computations of logic programs
Formal Specifications in Software Development: an Overview
Formal translation directed by parsing
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Fraktály a objektově orientované programování
Free, iteratively closed categories of complete lattices
From -regular to grammars : transformations, covers and parsing
Functional compiler description