Listing 1 - 10 of 17 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Parallel processing (Electronic computers) --- Electronic data processing --- Distributed processing --- Information Technology --- Computer Science (Hardware & Networks) --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - Congresses
Choose an application
Programming languages (Electronic computers) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer programming --- Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses
Choose an application
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
Choose an application
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.
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
Choose an application
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.
Compiling (Electronic computers) --- Congresses --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Software Engineering. --- Operating Systems. --- Logic design. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Operating systems --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Compiling (Electronic computers) - Congresses
Choose an application
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.
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
Choose an application
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.
Hybrid computers --- Calculateurs hybrides --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Architecture, Computer. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Theory of Computation. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Computer software engineering --- Engineering --- Architecture, Computer --- Special purpose computers --- Computers --- Minicomputers --- Informatics --- Science --- Computer network architectures. --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Hybrid computers - Congresses
Choose an application
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.
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 >> |
Sort by
|