Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
Programming languages (Electronic computers) --- Operating systems (Computers) --- Computer architecture --- Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) - Congresses --- Operating systems (Computers) - Congresses --- Computer architecture - Congresses
Choose an application
Choose an application
Programming languages (Electronic computers) --- Computer programming --- Engineering & Applied Sciences --- Computer Science --- Electronic digital computers --- Programming --- Congresses --- Information Technology --- Computer Science (Hardware & Networks) --- Electronic digital computers - Programming - Congresses --- Programming languages (Electronic computers) - Congresses
Choose an application
Computer programming --- Programming languages (Electronic computers) --- Langages de programmation --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Programmation (Informatique) --- Congrès --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Logic design. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- 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 volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico. The workshopsprovidea forum for bringing together researchers,practiti- ers, and designers from various backgrounds to discuss the state of the art in parallelism.Theyfocusondi erentaspectsofparallelism,fromruntimesystems to formal methods, from optics to irregular problems, from biology to networks of personal computers, from embedded systems to programming environments; the following workshops are represented in this volume: { Workshop on Personal Computer Based Networks of Workstations { Workshop on Advances in Parallel and Distributed Computational Models { Workshop on Par. and Dist. Comp. in Image, Video, and Multimedia { Workshop on High-Level Parallel Prog. Models and Supportive Env. { Workshop on High Performance Data Mining { Workshop on Solving Irregularly Structured Problems in Parallel { Workshop on Java for Parallel and Distributed Computing { WorkshoponBiologicallyInspiredSolutionsto ParallelProcessingProblems { Workshop on Parallel and Distributed Real-Time Systems { Workshop on Embedded HPC Systems and Applications { Recon gurable Architectures Workshop { Workshop on Formal Methods for Parallel Programming { Workshop on Optics and Computer Science { Workshop on Run-Time Systems for Parallel Programming { Workshop on Fault-Tolerant Parallel and Distributed Systems All papers published in the workshops proceedings were selected by the p- gram committee on the basis of referee reports. Each paper was reviewed by independent referees who judged the papers for originality, quality, and cons- tency with the themes of the workshops.
Parallel processing (Electronic computers) --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Distributed processing --- Computer science. --- Computer organization. --- Architecture, Computer. --- Software engineering. --- Computers. --- Computer science --- Computer mathematics. --- Computer Science. --- Computer System Implementation. --- Software Engineering/Programming and Operating Systems. --- Computer Systems Organization and Communication Networks. --- Theory of Computation. --- Mathematics of Computing. --- Computational Mathematics and Numerical Analysis. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- 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 --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Mathematics --- Computer network architectures. --- Information theory. --- Communication theory --- Communication --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer science—Mathematics. --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - 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 frontier 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 of Euro-Par are seen as researchers in academic departments, government laboratories, and industrial organisations. Euro-Par’s objective is 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 now has its own Internet domain with a permanent Web site 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.
Parallel processing (Electronic computers) --- Computer science. --- Computer organization. --- Software engineering. --- Computers. --- Computer science --- Computer engineering. --- Computer mathematics. --- Computer Science. --- Computer Systems Organization and Communication Networks. --- Computer Engineering. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Mathematics of Computing. --- Computational Mathematics and Numerical Analysis. --- Mathematics. --- Computer network architectures. --- Information theory. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Mathematics --- Computer science—Mathematics. --- 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 --- Computers --- Organization, Computer --- Electronic digital computers --- Design and construction --- Parallel processing (Electronic computers) - Congresses
Choose an application
Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europe, passing Bled,Slovenia,in1987,Loughborough,UK,in1990,Ulm,Germany,in1994,and Linz, Austria, in 1997. Now, at the beginning of the new millennium, it is back at its roots in Zuric ¨ h, Switzerland. While traveling through space and time, the conference has mutated. It has widened its scope and changed its name to Joint Modular Languages Conference (JMLC). With an invariant focus, though, on modularsoftwareconstructioninteaching,research,and“outthere”inindustry. This topic has never been more important than today, ironically not because of insu?cient language support but, quite on the contrary, due to a truly c- fusing variety of modular concepts o?ered by modern languages: modules, pa- ages, classes, and components, the newest and still controversial trend. “The recent notion of component is still very vaguely de?ned, so vaguely, in fact, that it almost seems advisable to ignore it.” (Wirth in his article “Records, Modules, Objects, Classes, Components” in honor of Hoare’s retirement in 1999). Clar- cation is needed.
Modular programming --- Programming languages (Electronic computers) --- Congresses --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Techniques. --- Logics and Meanings of Programs. --- Operating Systems. --- Computer 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 --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Modular programming - Congresses --- Programming languages (Electronic computers) - Congresses
Choose an application
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.
Parallel processing (Electronic computers) --- Multitasking (Computer science) --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer multitasking --- Parallélisme (Informatique) --- Fonctionnement multitâche --- Congrès --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Computer System Implementation. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Techniques. --- Computer Communication Networks. --- Computer network architectures. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- 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 --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Architecture, Computer --- Distributed processing --- Programming --- Parallel processing (Electronic computers) - Congresses --- Computer multitasking - Congresses
Choose an application
This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e?ective technical solutions for a broad range of important problems.
681.3*I2 --- Artificial intelligence. AI --- Parallel processing (Electronic computers) --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Distributed processing --- 681.3*I2 Artificial intelligence. AI --- Computer science. --- Computer communication systems. --- Software engineering. --- Computer programming. --- Computers. --- Artificial intelligence. --- Computer Science. --- Programming Techniques. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Computation by Abstract Devices. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- 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 --- Network computers --- Informatics --- Science --- Programming --- Artificial Intelligence. --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - Congresses
Choose an application
Hybrid computers --- Digital control systems --- Congresses --- Calculateurs hybrides --- Commande numérique --- Congrès --- Computer science. --- Special purpose computers. --- Computers. --- Computer logic. --- Statistical physics. --- Dynamical systems. --- Control engineering. --- Robotics. --- Mechatronics. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Special Purpose and Application-Based Systems. --- Computation by Abstract Devices. --- Control, Robotics, Mechatronics. --- Statistical Physics, Dynamical Systems and Complexity. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Dynamical systems --- Kinetics --- Mathematics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Physics --- Statics --- Mathematical statistics --- 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 --- Calculators --- Cyberspace --- Special purpose computers --- Computers --- Informatics --- Science --- Statistical methods --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Software engineering. --- Complex Systems. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Hybrid computers - Congresses --- Digital control systems - Congresses
Listing 1 - 10 of 11 | << page >> |
Sort by
|