Kooperativer Bibliotheksverbund

UID:

Format: X, 267 p. , online resource.

ISBN: 9783540894377

Series Statement: Lecture Notes in Computer Science, 5380

Content: To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'. This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence. The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.

Note: Engineering of Software-Intensive Systems: State of the Art and Research Challenges -- Engineering of Software-Intensive Systems: State of the Art and Research Challenges -- I Ensemble Engineering -- Software Engineering for Ensembles -- Change-Enabled Software Systems -- On the Challenge of Engineering Socio-technical Systems -- Design of Complex Cyber Physical Systems with Formalized Architectural Patterns -- Cyber-Physical Systems and Events -- Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts -- II Theory and Formal Methods -- Formal Ensemble Engineering -- Structured Interacting Computations -- Extending Formal Methods for Software-Intensive Systems -- Ensemble Engineering and Emergence -- Mathematical Support for Ensemble Engineering -- Behaviour Equivalences in Timed Distributed ?-Calculus -- III Novel Computing Paradigms -- The Chemical Reaction Model Recent Developments and Prospects -- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems -- Emerging Models of Computation: Directions in Molecular Computing.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540894360

Language: English

Subjects: Computer Science

Keywords: Aufsatzsammlung ; Aufsatzsammlung

DOI: 10.1007/978-3-540-89437-7

URL: http://dx.doi.org/10.1007/978-3-540-89437-7

URL: Volltext

URL: Volltext

URL: Volltext  (lizenzpflichtig)

URL: Inhaltsverzeichnis

URL: Inhaltstext

UID:

Format: XI, 366 S. , Ill., graph. Darst.

ISBN: 3540278842 , 9783540278849

Series Statement: Lecture notes in computer science 3566 : Hot topics

Language: English

Subjects: Computer Science

Keywords: Informatik ; Programmierung ; Paradigma ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: http://www.loc.gov/catdir/toc/fy0606/2005928846.html

URL: http://www.loc.gov/catdir/enhancements/fy0663/2005928846-d.html

UID:

Format: 1 Online-Ressource (XI, 366 S.) , Ill., graph. Darst.

ISBN: 3540278842 , 9783540278849 , 9783540314820

Series Statement: Lecture notes in computer science 3566 : Hot topics

Language: English

Subjects: Computer Science

Keywords: Informatik ; Programmierung ; Paradigma ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/11527800

URL: Volltext

URL: Volltext

URL: Volltext  (lizenzpflichtig)

URL: Volltext

UID:

Format: Online-Ressource (VIII, 387 S.)

Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive

ISBN: 9783540467625

Series Statement: Lecture notes in computer science 574

Content: A perspective on parallel program design -- UNITY to UC: A case study in the derivation of parallel programs -- Reasoning about synchronic groups -- An industrial experience in the use of UNITY -- On the UNITY design decisions -- Flexible program structures for concurrent programming -- Current research on Linda -- Expressing fine-grained parallelism using concurrent data structures -- Persistent Linda: Linda + transactions + query processing -- Parallel logic programming using the Linda model of computation -- Lucinda — A polymorphic Linda -- A rationale for programming with Ease -- Intermediate uniformly distributed tuple space on transputer meshes -- Mixing concurrency abstractions and classes -- Coordination applications of Linda -- The chemical reaction model -- to Gamma -- Parallel programming with bags -- Implementation of Gamma on the connection machine -- Parallel programming with pure functional languages -- Parallel programming in maude -- Parallel program design -- The palindrome systolic array revisited -- The synthesis of systolic programs -- Synthesizing delay insensitive circuits from verified programs -- A distributed implementation of a task pool -- Invariance and contraction by infinite iterations of relations -- Constructing a parallel sort program on hypercube by using Distributively Callable Procedures.

Content: This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programs. These proposals appeared in different contexts and were applied in different domains, and the goal of the workshop was to review the status of this new field and compare experiences. The workshop was organized into four main sessions: Unity, Linda, Gamma, and Parallel Program Design. The corresponding parts ofthe volume are introduced respectively by J. Misra, D. Gelernter, D. Le M tayer, and J.-P. Ban tre.

Note: Literaturangaben

Additional Edition: ISBN 3540551603

Additional Edition: ISBN 9783540551607

Additional Edition: Erscheint auch als Druck-Ausgabe Research directions in high level parallel programming languages Berlin : Springer, 1992 ISBN 3540551603

Additional Edition: ISBN 0387551603

Language: English

Subjects: Computer Science

Keywords: Parallelverarbeitung ; Höhere Programmiersprache ; Konferenzschrift

DOI: 10.1007/3-540-55160-3

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

UID:

Format: IX, 210 S.

ISBN: 3-540-53852-6 , 0-387-53852-6

Series Statement: Research reports ESPRIT : Project 302 1

Note: Literaturangaben

Language: English

Subjects: Computer Science

Keywords: Funktionale Programmierung ; Softwareproduktionsumgebung ; Software Engineering ; Funktionale Programmierung ; Software Engineering ; Programmierung

UID:

Format: 1 online resource (VIII, 392 p.)

Edition: 1st ed. 1992.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-46762-9

Series Statement: Lecture Notes in Computer Science, 574

Content: This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programs. These proposals appeared in different contexts and were applied in different domains, and the goal of the workshop was to review the status of this new field and compare experiences. The workshop was organized into four main sessions: Unity, Linda, Gamma, and Parallel Program Design. The corresponding parts ofthe volume are introduced respectively by J. Misra, D. Gelernter, D. Le M tayer, and J.-P. Ban tre.

Note: Bibliographic Level Mode of Issuance: Monograph , A perspective on parallel program design -- UNITY to UC: A case study in the derivation of parallel programs -- Reasoning about synchronic groups -- An industrial experience in the use of UNITY -- On the UNITY design decisions -- Flexible program structures for concurrent programming -- Current research on Linda -- Expressing fine-grained parallelism using concurrent data structures -- Persistent Linda: Linda + transactions + query processing -- Parallel logic programming using the Linda model of computation -- Lucinda — A polymorphic Linda -- A rationale for programming with Ease -- Intermediate uniformly distributed tuple space on transputer meshes -- Mixing concurrency abstractions and classes -- Coordination applications of Linda -- The chemical reaction model -- to Gamma -- Parallel programming with bags -- Implementation of Gamma on the connection machine -- Parallel programming with pure functional languages -- Parallel programming in maude -- Parallel program design -- The palindrome systolic array revisited -- The synthesis of systolic programs -- Synthesizing delay insensitive circuits from verified programs -- A distributed implementation of a task pool -- Invariance and contraction by infinite iterations of relations -- Constructing a parallel sort program on hypercube by using Distributively Callable Procedures. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-55160-3

Language: English

DOI: 10.1007/3-540-55160-3

URL: http://dx.doi.org/10.1007/3-540-55160-3

UID:

Format: XI, 366 Seiten , Ill., graph. Darst. , 24 cm

ISBN: 9783540278849 , 3540278842

Series Statement: Lecture notes in computer science 3566

Note: Text engl.

Language: English

Keywords: Wissenschaftliches Rechnen ; Chemie ; Programmierparadigma ; Kongress ; Mont-Saint-Michel 〈2004〉 ; Biocomputer ; Programmierparadigma ; Kongress ; Mont-Saint-Michel 〈2004〉 ; Autonomic Computing ; Programmierparadigma ; Kongress ; Mont-Saint-Michel 〈2004〉 ; Generische Programmierung ; Programmierparadigma ; Kongress ; Mont-Saint-Michel 〈2004〉 ; Kongress ; Konferenzschrift

UID:

Format: VIII, 392 p. , online resource.

Edition: 1st ed. 1992.

ISBN: 9783540467625

Series Statement: Lecture Notes in Computer Science, 574

Content: This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programs. These proposals appeared in different contexts and were applied in different domains, and the goal of the workshop was to review the status of this new field and compare experiences. The workshop was organized into four main sessions: Unity, Linda, Gamma, and Parallel Program Design. The corresponding parts ofthe volume are introduced respectively by J. Misra, D. Gelernter, D. Le M tayer, and J.-P. Ban tre.

Note: A perspective on parallel program design -- UNITY to UC: A case study in the derivation of parallel programs -- Reasoning about synchronic groups -- An industrial experience in the use of UNITY -- On the UNITY design decisions -- Flexible program structures for concurrent programming -- Current research on Linda -- Expressing fine-grained parallelism using concurrent data structures -- Persistent Linda: Linda + transactions + query processing -- Parallel logic programming using the Linda model of computation -- Lucinda - A polymorphic Linda -- A rationale for programming with Ease -- Intermediate uniformly distributed tuple space on transputer meshes -- Mixing concurrency abstractions and classes -- Coordination applications of Linda -- The chemical reaction model -- to Gamma -- Parallel programming with bags -- Implementation of Gamma on the connection machine -- Parallel programming with pure functional languages -- Parallel programming in maude -- Parallel program design -- The palindrome systolic array revisited -- The synthesis of systolic programs -- Synthesizing delay insensitive circuits from verified programs -- A distributed implementation of a task pool -- Invariance and contraction by infinite iterations of relations -- Constructing a parallel sort program on hypercube by using Distributively Callable Procedures.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783662209745

Additional Edition: Printed edition: ISBN 9783540551607

Language: English

DOI: 10.1007/3-540-55160-3

URL: https://doi.org/10.1007/3-540-55160-3

UID:

Format: VIII, 392 p. , online resource.

ISBN: 9783540467625

Series Statement: Lecture Notes in Computer Science, 574

Content: This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programs. These proposals appeared in different contexts and were applied in different domains, and the goal of the workshop was to review the status of this new field and compare experiences. The workshop was organized into four main sessions: Unity, Linda, Gamma, and Parallel Program Design. The corresponding parts ofthe volume are introduced respectively by J. Misra, D. Gelernter, D. Le M tayer, and J.-P. Ban tre.

Note: A perspective on parallel program design -- UNITY to UC: A case study in the derivation of parallel programs -- Reasoning about synchronic groups -- An industrial experience in the use of UNITY -- On the UNITY design decisions -- Flexible program structures for concurrent programming -- Current research on Linda -- Expressing fine-grained parallelism using concurrent data structures -- Persistent Linda: Linda + transactions + query processing -- Parallel logic programming using the Linda model of computation -- Lucinda — A polymorphic Linda -- A rationale for programming with Ease -- Intermediate uniformly distributed tuple space on transputer meshes -- Mixing concurrency abstractions and classes -- Coordination applications of Linda -- The chemical reaction model -- to Gamma -- Parallel programming with bags -- Implementation of Gamma on the connection machine -- Parallel programming with pure functional languages -- Parallel programming in maude -- Parallel program design -- The palindrome systolic array revisited -- The synthesis of systolic programs -- Synthesizing delay insensitive circuits from verified programs -- A distributed implementation of a task pool -- Invariance and contraction by infinite iterations of relations -- Constructing a parallel sort program on hypercube by using Distributively Callable Procedures.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540551607

Language: English

DOI: 10.1007/3-540-55160-3

URL: http://dx.doi.org/10.1007/3-540-55160-3

UID:

Format: XI, 367 p. , online resource.

ISBN: 9783540314820

Series Statement: Lecture Notes in Computer Science, 3566

Content: Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the users, the growing number of p- grams and the sharing of information, competences and services thanks to the generalization ofdatabasesandcommunication networks. Aprogramisnomore a monolithic entity conceived, produced and ?nalized before being used. A p- gram is now seen as an open and adaptive frame, which, for example, can - namically incorporate services not foreseen by the initial designer. These new needs call for new control structures and program interactions. Unconventionalapproachestoprogramminghavelongbeendevelopedinv- iousnichesandconstituteareservoirofalternativewaystofacetheprogramming languages crisis. New models of programming (e. g. , bio-inspired computing, - ti?cialchemistry,amorphouscomputing,. . . )arealsocurrentlyexperiencinga renewed period of growth as they face speci?c needs and new application - mains. These approaches provide new abstractions and notations or develop new ways of interacting with programs. They are implemented by embedding new sophisticated data structures in a classical programming model (API), by extending an existing language with new constructs (to handle concurrency, - ceptions, open environments, . . . ), by conceiving new software life cycles and program executions (aspect weaving, run-time compilation) or by relying on an entire new paradigm to specify a computation. They are inspired by theoretical considerations (e. g. , topological, algebraic or logical foundations), driven by the domain at hand (domain-speci?c languages like PostScript, musical notation, animation, signal processing, etc. ) or by metaphors taken from various areas (quantum computing, computing with molecules, information processing in - ological tissues, problem solving from nature, ethological and social modeling).

Note: Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure -- A New Programming Paradigm Inspired by Artificial Chemistries -- Higher-Order Chemical Programming Style -- Amorphous Computing -- to Amorphous Computing -- Abstractions for Directing Self-organising Patterns -- Programming an Amorphous Computational Medium -- Computations in Space and Space in Computations -- Bio-inspired Computing -- Bio-inspired Computing Paradigms (Natural Computing) -- Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors -- Membrane Systems: A Quick Introduction -- Cellular Meta-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some Recent Results and Research Problems -- Outlining an Unconventional, Adaptive, and Particle-Based Reconfigurable Computer Architecture -- Autonomic Computing -- Autonomic Computing: An Overview -- Enabling Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach to Self-management in Large-Scale Distributed Systems -- Autonomic Runtime System for Large Scale Parallel and Distributed Applications -- Generative Programming -- Towards Generative Programming -- Overview of Generative Software Development -- A Comparison of Program Generation with Aspect-Oriented Programming -- Generative Programming from a Post Object-Oriented Programming Viewpoint.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540278849

Language: English

DOI: 10.1007/11527800

URL: http://dx.doi.org/10.1007/11527800