Skip to main content

8 Result(s)

within F. Arbab Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Coinductive Calculus of Component Connectors

    Reo is a recently introduced channel-based model for coordination, wherein complex coordinators, called connectors, are compositionally built out of simpler ones. Using a more liberal notion of a channel, Reo ...

    F. Arbab, J. J. M. M. Rutten in Recent Trends in Algebraic Development Techniques (2003)

  2. No Access

    Chapter and Conference Paper

    A Logical Interface Description Language for Components

    Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal...

    F. Arbab, F. S. de Boer, M. M. Bonsangue in Coordination Languages and Models (2000)

  3. No Access

    Chapter and Conference Paper

    Dynamic process composition and communication patterns in irregularly structured applications

    In this paper we describe one experiment in which a new coordination language, called Manifold, is used to restructure an existing sequential Fortran code from computational fluid dynamic (CFD), into a parallel a...

    C. T. H. Everaars, B. Koren, F. Arbab in Parallel and Distributed Processing (1999)

  4. Chapter and Conference Paper

    Reusable coordinator modules for massively concurrent applications

    Isolating computation and communication concerns into separate pure computation and pure coordination modules enhances modularity, understandability, and reusability of parallel and/or distributed software.Manifo...

    F. Arbab, C. L. Blom, F. J. Burger, C. T. H. Everaars in Euro-Par'96 Parallel Processing (1996)

    Download PDF (957 KB)

  5. No Access

    Chapter and Conference Paper

    Coordination of distributed/parallel multiple-grid domain decomposition

    A workable approach for the solution of many (numerical and non-numerical) problems is domain decomposition. If a problem can be divided into a number of sub-problems that can be solved in a distributed/parall...

    C. T. H. Everaars, F. Arbab in Parallel Algorithms for Irregularly Structured Problems (1996)

  6. No Access

    Chapter and Conference Paper

    Manifold: Concepts and implementation

    Management of the communications among a set of concurrent processes arises in many applications and is a central concern in parallel computing and distributed computing. In this paper we introduce Manifold: a co...

    F. Arbab, I. Herman, P. Spilling in Parallel Processing: CONPAR 92—VAPP V (1992)

  7. No Access

    Chapter and Conference Paper

    A Paradigm for Intelligent CAD

    An intelligent CAD system is a tool box of automated problem solving aids that allow designers to conceive, evolve, and document their designs. Our research involves CAD systems for mechanical applications whe...

    F. Arbab in Intelligent CAD Systems I (1987)

  8. No Access

    Article

    PCAC and single-particle distributions

    F. Arbab, J. C. Gallardo, L. Masperi in Lettere al Nuovo Cimento (1971-1985) (1971)