Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
Computer architecture --- Programming languages (Electronic computers) --- Operating systems (Computers) --- Information Technology --- Computer Science (Hardware & Networks) --- Computer architecture - Congresses --- Programming languages (Electronic computers) - Congresses --- Operating systems (Computers) - Congresses
Choose an application
Programming languages (Electronic computers) --- Computer programming --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses
Choose an application
Embedded computer systems --- Programming languages (Electronic computers) --- Compilers (Computer programs) --- Engineering & Applied Sciences --- Computer Science --- Programming --- Information Technology --- Computer Science (Hardware & Networks) --- Embedded computer systems - Programming - Congresses --- Programming languages (Electronic computers) - Congresses --- Compilers (Computer programs) - Congresses
Choose an application
Euro-Par – the European Conference on Parallel Computing – is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel computing. The objective of Euro-Par is to provide a forum within which to promote the development of parallel computing both as an industrial technique and an academic discipline, extending the frontiers of both the state of the art and the state of the practice. This is particularly important at a time when parallel computing is undergoing strong and sustained development and experiencing real industrial take-up. The main audience for and participants in Euro-Par are researchers in academic departments, government laboratories, and industrial organizations. Euro-Par aims to become the primary choice of such professionals for the presentation of new results in their specific areas. Euro-Par is also interested in applications that demonstrate the effectiveness of the main Euro-Par themes. Euro-Par has its own Internet domain with a permanent website where the history of the conference series is described: http://www. euro-par. org. The Euro-Par conference series is sponsored by the Association of Computer machinery and the International Federation of Information Processing. Euro-Par 2002 at Paderborn, Germany Euro-Par 2002 was organized by the Paderborn Center for Parallel Comput- 2 2 ing (PC ) and was held at the Heinz Nixdorf Museums Forum (HNF).
Parallel processing (Electronic computers) --- Computer science. --- Computer organization. --- Architecture, Computer. --- Software engineering. --- Computers. --- Computer science --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Computer Systems Organization and Communication Networks. --- Mathematics of Computing. --- Mathematics. --- Computer network architectures. --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer science—Mathematics. --- Organization, Computer --- Electronic digital computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace --- Architecture, Computer --- Parallel processing (Electronic computers) - Congresses
Choose an application
ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- 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 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses
Choose an application
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002. The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
Hybrid computers --- Calculateurs hybrides --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congrès --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer engineering. --- Computer Science. --- Computer Engineering. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Software Engineering. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Computers --- 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 --- Special purpose computers --- Minicomputers --- Informatics --- Science --- Design and construction --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Hybrid computers - Congresses
Choose an application
Molecular computers --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer hardware. --- Computers. --- Algorithms. --- Artificial intelligence. --- Bioinformatics. --- Mathematical logic. --- Computer Science. --- Computer Hardware. --- Mathematical Logic and Foundations. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Artificial Intelligence (incl. Robotics). --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Bio-informatics --- Biological informatics --- Biology --- Information science --- Computational biology --- Systems biology --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Data processing --- Foundations --- Logic, Symbolic and mathematical. --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Molecular computers - Congresses
Choose an application
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001. The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.
Parallel processing (Electronic computers) --- Mathematics --- Math --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Software engineering. --- Computers. --- Algorithms. --- Computer science --- Computer Science. --- Computer System Implementation. --- Theory of Computation. --- Mathematics of Computing. --- Software Engineering/Programming and Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Computer Communication Networks. --- Mathematics. --- Science --- Computer network architectures. --- Information theory. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer science—Mathematics. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Architecture, Computer --- Distributed processing --- Foundations --- Parallel processing (Electronic computers) - Congresses --- Mathematics - Congresses
Choose an application
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.
Machine theory --- Parallel processing (Electronic computers) --- Automates mathématiques, Théorie des --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Mathematics. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Algebra. --- Mathematical models. --- Software Engineering/Programming and Operating Systems. --- Mathematical Modeling and Industrial Mathematics. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logic design. --- Computer science. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- Mathematics --- Mathematical analysis --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Models, Mathematical --- Simulation methods --- Machine theory - Congresses --- Parallel processing (Electronic computers) - Congresses
Choose an application
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Parallélisme (Informatique) --- Congrès --- Computer science. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Information theory. --- Computer network architectures. --- Logic design. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Cybernetics --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Programming --- Parallel processing (Electronic computers) - Congresses --- Parallélisme (Informatique) - Congrès - Congrès
Listing 1 - 10 of 14 | << page >> |
Sort by
|