Narrow your search

Library

KU Leuven (10)

UCLouvain (6)

ULiège (6)

UAntwerpen (4)

UGent (4)

KBR (3)

VUB (2)

ULB (1)


Resource type

book (10)


Language

English (10)


Year
From To Submit

1989 (10)

Listing 1 - 10 of 10
Sort by
Network information processing systems : proceedings of the IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, Sofia, Bulgaria, 9-13 May, 1988

Distributed algorithms : 3rd international workshop, Nice, September 26-28, 1989 : proceedings
Authors: ---
ISBN: 3540516875 0387516875 3540467505 Year: 1989 Volume: vol 392 Publisher: Berlin Heidelberg New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first two successful international workshops in Ottawa (1985) and Amsterdam (1987). This workshop provided a forum for researchers and others interested in distributed algorithms on communication networks, graphs, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. Papers describe original results in all areas of distributed algorithms and their applications, including: distributed combinatorial algorithms, distributed graph algorithms, distributed algorithms for control and communication, distributed database techniques, distributed algorithms for decentralized systems, fail-safe and fault-tolerant distributed algorithms, distributed optimization algorithms, routing algorithms, design of network protocols, algorithms for transaction management, composition of distributed algorithms, and analysis of distributed algorithms.


Book
Tutorial : distributed-software engineering
Authors: ---
ISBN: 0818648562 0818688564 9780818688560 9780818648564 Year: 1989 Publisher: Washington, D.C.: IEEE Computer science press,

Mathematics of program construction : 375th Anniversary of the Groningen university, International conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
Authors: ---
ISBN: 3540513051 0387513051 3540461914 9780387513058 9783540513056 Year: 1989 Volume: 375 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.

Keywords

Programming --- Numerical analysis --- Informatique --- Programmation (Informatique) --- Mathematiques --- 681.3*C24 --- 681.3*D1 --- 681.3*D2 --- 681.3*F3 --- 681.3*F4 --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Programming techniques--See also {681.3*E} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Computer science. --- Software engineering. --- Logic design. --- Algorithms. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Processor Architectures. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Algorism --- Algebra --- Arithmetic --- Foundations --- Informatique - Mathematiques - Congres. --- Programmation (Informatique) - Congres.

Fundamentals of database systems
Authors: ---
ISBN: 0805317481 0805317538 0805301453 9780805301458 9780805317534 Year: 1989 Publisher: Redwood City (Calif.): Cummings,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

programmeertalen --- object oriented --- database management --- Information systems --- SQL (structured query language) --- Data base design --- Database management --- Bases de données --- Gestion --- 681.3*H2 --- Database design --- Database management. --- 000.1 --- 681.37 --- 005.7565 --- System design --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Database management: security integrity protection--See also {?681.5*E5} --- Algemene werken --- Informatiesystemen --- 681.3*H2 Database management: security integrity protection--See also {?681.5*E5} --- Database design. --- Bases de données --- data acquisitie (daq) --- gegevensverwerking --- Banques de données--Gestion --- Conception de bases de données --- Database-ontwerp --- Databasebeheer --- Databases--Beheer --- Gegevensbanken--Beheer --- Gegevensbestanden--Beheer --- Systems [Data base management ] --- Systems [Generalized data base management ] --- 681.3*H25 --- 681.3*C24 --- Heterogeneous databases: data translation; program translation (Database management) --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*H25 Heterogeneous databases: data translation; program translation (Database management) --- datacommunicatie --- Databases --- #TCPW:AGGR --- 681.3 --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Database management: security; integrity; protection--See also {?681.5*E5} --- (zie ook: telecommunicatie) --- Computerwetenschap --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Databases - Textbooks --- Database management - Textbooks

The formal description technique Lotos : results of the ESPRIT/SEDOS project
Author:
ISBN: 0444872671 9780444872678 Year: 1989 Publisher: Amsterdam: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Electronic data processing --- System design --- Traitement réparti --- Systèmes, Conception de --- Distributed processing --- ESPRIT/SEDOS Project --- LOTOS (Computer program language) --- System Design --- -LOTOS (Computer program language) --- 681.3*C24 --- 681.3*D32 --- Design, System --- Systems design --- System analysis --- Language of Temporal Ordering Specification (Computer program language) --- Programming languages (Electronic computers) --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Automation --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks --- ESPRIT/SEDOS Project. --- Electronic data processing - Distributed processing

Listing 1 - 10 of 10
Sort by