Narrow your search

Library

UCLouvain (17)

ULiège (15)

KBR (14)

KU Leuven (13)

ULB (12)

UGent (3)

UAntwerpen (1)


Resource type

book (17)


Language

English (17)


Year
From To Submit

1998 (17)

Listing 1 - 10 of 17 << page
of 2
>>
Sort by
Network-based paraell computing. Communication, architecture and applications. Second international workshop, CANPC 98, Las Vegas, Nevada, USA, January/February, 1998. Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540641408 9783540641407 Year: 1998 Volume: 1362 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Authors: ---
ISBN: 0897919890 9780897919890 Year: 1998 Publisher: ACM


Book
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Authors: ---
ISBN: 1581130015 9781581130010 Year: 1998 Publisher: ACM


Book
Conference record of POPL '98 : the 25th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the symposium : San Diego, Californie, January 19-21, 1998
Authors: --- ---
ISBN: 0897919793 9780897919791 Year: 1998 Publisher: New York : Association for Computing Machinery,

Foundations of software technology and theoretical computer science : 18th conference, chennai, india, december 17-19, 1998 : proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540653848 9783540653844 3540493824 Year: 1998 Volume: 1530 Publisher: Berlin, Germany : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Evolutionary programming (Computer science) --- Quantum computers --- Molecular computers --- Programmation évolutive --- Ordinateurs quantiques --- Ordinateurs moléculaires --- Congresses --- Programming Languages, Compilers, Interpreters. --- Computer software --- Electronic data processing --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer science --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Information theory. --- Computational complexity. --- Complexity, Computational --- Machine theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Molecular computers. --- Computer software. --- Software, Computer --- DNA-based computers --- DNA computers --- Biocomputers --- Natural computation --- Evolutionary programming (Computer science) - Congresses --- Quantum computers - Congresses --- Molecular computers - Congresses --- Programmation évolutive - Congrès --- Ordinateurs quantiques - Congrès --- Ordinateurs moléculaires - Congrès


Book
Languages and compilers for parallel computing. 10th international workhsop, LCP 97, Minneapolis, Minnesota, USA, August 1997. Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540644725 9783540644729 3540697888 Year: 1998 Volume: 1366 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Languages and Compilers for Parallel Computing, LCPC'97, held in Minneapolis, Minnesota, USA in August 1997 The book presents 28 revised full papers together with four posters; all papers were carefully selected for presentation at the workshop and went through a thorough reviewing and revision phase afterwards. The papers are organized in topical sections on data locality, program analysis, automatic parallelization, HPF extensions and compilers, synchronization and communication, parallel programming models and language extensions, and instruction level parallelism.

Keywords

Parallel processing (Electronic computers) --- Programming languages (Electronic computers) --- Compilers (Computer programs) --- Arithmetic and logic units, Computer. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Arithmetic and Logic Structures. --- Arithmetic and logic units, Computer --- Computer science. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- Computer System Implementation. --- Programming Techniques. --- Congresses --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Architecture, Computer --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer arithmetic --- Electronic digital computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Circuits --- Programming --- Parallel processing (Electronic computers) - Congresses --- Programming languages (Electronic computers) - Congresses --- Compilers (Computer programs) - Congresses

Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
Authors: --- ---
ISSN: 03029743 ISBN: 3540649255 9783540649250 3540683089 Year: 1998 Volume: 1473 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998. The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing.

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540643028 9783540643029 3540697225 Year: 1998 Volume: 1381 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

Keywords

Computer programming --- Programming languages (Electronic computers) --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Software Engineering. --- Electronic digital computers --- Programming --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses

Hybrid systems: computation and control. First international workshop, HSCC 98, Berkeley, California, USA, April 1998. Proceedings
Authors: ---
ISSN: 03029743 ISBN: 3540643583 9783540643586 3540697543 Year: 1998 Volume: 1386 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998. The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.

Solving Irregularly Structured Problems in Parallel : 5th International Symposium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings
Authors: --- --- --- ---
ISSN: 03029743 ISBN: 3540648097 9783540648093 3540685332 Year: 1998 Volume: 1457 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98, held in Berkeley, California, in August 1998. The 26 revised full papers presented were carefully reviewed and selected for inclusion from several dozen submissions. Also included are abstracts of four invited talks and 6 invited presentations given during minisymposia held in parallel. The book presents a unique overview on algorithmic, applicational, and systems aspects arising in the development of efficient parallel solutions to irregularly structured problems.

Keywords

Parallel processing (Electronic computers) --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Architecture, Computer. --- Computer programming. --- Computers. --- Algorithms. --- Computer science --- Computer mathematics. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Theory of Computation. --- Computer System Implementation. --- Programming Techniques. --- Discrete Mathematics in Computer Science. --- Computational Mathematics and Numerical Analysis. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Informatics --- Science --- Mathematics --- Foundations --- Programming --- Computer software. --- Information theory. --- Computer network architectures. --- Computational complexity. --- Complexity, Computational --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Software, Computer --- Computer science—Mathematics. --- Parallel processing (Electronic computers) - Congresses

Listing 1 - 10 of 17 << page
of 2
>>
Sort by