All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 2

Displaying 21 – 38 of 38

Showing per page

Idealized coinductive type systems for imperative object-oriented programs

Davide Ancona, Giovanni Lagorio (2011)

RAIRO - Theoretical Informatics and Applications

In recent work we have proposed a novel approach to define idealized type systems for object-oriented languages, based on abstract compilation of programs into Horn formulas which are interpreted w.r.t. the coinductive (that is, the greatest) Herbrand model. In this paper we investigate how this approach can be applied also in the presence of imperative features. This is made possible by considering a natural translation of Static Single Assignment intermediate form programs into Horn formulas,...

Knowledge sharing in organizational structures

Ivo Vondrák, Václav Snášel, Jan Kozušzník (2004)

Kybernetika

The organizational structure is usually defined using the best experience and there is a minimum of formal approach involved. This paper shows the possibilities of the theory of concept analysis that can help to understand organizational structure based on solid mathematical foundations. This theory is extended by the concept of knowledge sharing and diversity that enables to evaluate the organizational structure. The alternative approach based on the hierarchical methods of cluster analysis is...

Modeling of distributed objects computing design pattern combinations using a formal specification language

Toufik Taibi, David Ngo (2003)

International Journal of Applied Mathematics and Computer Science

Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve...

Object library of algorithms for dynamic optimization problems: benchmarking SQP and nonlinear interior point methods

Jacek Błaszczyk, Andrzej Karbowski, Krzysztof Malinowski (2007)

International Journal of Applied Mathematics and Computer Science

The main purpose of this paper is to describe the design, implementation and possibilities of our object-oriented library of algorithms for dynamic optimization problems. We briefly present library classes for the formulation and manipulation of dynamic optimization problems, and give a general survey of solver classes for unconstrained and constrained optimization. We also demonstrate methods of derivative evaluation that we used, in particular automatic differentiation. Further, we briefly formulate...

Object oriented design philosophy for scientific computing

Philippe R. B. Devloo, Gustavo C. Longhin (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Object oriented design philosophy for scientific computing

Philippe R.B. Devloo, Gustavo C. Longhin (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Refinement of UML collaborations

Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz (2006)

International Journal of Applied Mathematics and Computer Science

The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The introduced...

Some new technics regarding the parallelisation of ZéBuLoN, an object oriented finite element code for structural mechanics

Frédéric Feyel (2002)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

A finite element code, called ZéBuLoN was parallelised some years ago. This code is entirely written using an object oriented framework (C++ is the support language). The aim of this paper is to present some problems which arose during the parallelization, and some innovative solutions. Especially, a new concept of message passing is presented which allows to take into account SMP machines while still using the parallel virtual machine abstraction.

Some new technics regarding the parallelisation of ZéBuLoN, an object oriented finite element code for structural mechanics

Frédéric Feyel (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

A finite element code, called ZéBuLoN was parallelised some years ago. This code is entirely written using an object oriented framework (C++ is the support language). The aim of this paper is to present some problems which arose during the parallelization, and some innovative solutions. Especially, a new concept of message passing is presented which allows to take into account SMP machines while still using the parallel virtual machine abstraction.

Thread algebra for noninterference

Thuy Duong Vu (2009)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program. 51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given by...

Thread algebra for noninterference

Thuy Duong Vu (2008)

RAIRO - Theoretical Informatics and Applications

Thread algebra is a semantics for recent object-oriented programming languages [J.A. Bergstra and M.E. Loots, J. Logic Algebr. Program.51 (2002) 125–156; J.A. Bergstra and C.A. Middelburg, Formal Aspects Comput. (2007)] such as C# and Java. This paper shows that thread algebra provides a process-algebraic framework for reasoning about and classifying various standard notions of noninterference, an important property in secure information flow. We will take the noninterference property given...

Usage of modular scissors in the implementation of FEM

Frydrych, Dalibor (2010)

Programs and Algorithms of Numerical Mathematics

Finite Element Method (FEM) is often perceived as a unique and compact programming subject. Despite the fact that many FEM implementations mention the Object Oriented Approach (OOA), this approach is used completely, only in minority of cases in most real-life situations. For example, one of building stones of OOA, the interface-based polymorphism, is used only rarely. This article is focusing on the design reuse and at the same time it gives a complex view on FEM. The article defines basic principles...

Currently displaying 21 – 38 of 38

Previous Page 2