Listing 1 - 10 of 14 | << page >> |
Sort by
|
Choose an application
Choose an application
Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers) --- Computer programming --- Information Technology --- Computer Science (Hardware & Networks) --- Programming languages (Electronic computers) - Congresses --- Computer programming - Congresses
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
Choose an application
Parallel processing (Electronic computers) --- Congresses --- 681.3*D1 --- Programming techniques--See also {681.3*E} --- Conferences - Meetings --- Computer Science --- Engineering & Applied Sciences --- 681.3*D1 Programming techniques--See also {681.3*E} --- Computer science. --- Architecture, Computer. --- Computer programming. --- Algorithms. --- Computer science --- Image processing. --- Numerical analysis. --- Computer Science. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Programming Techniques. --- Mathematics of Computing. --- Image Processing and Computer Vision. --- Numerical Analysis. --- Mathematics. --- Mathematical analysis --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Informatics --- Science --- Mathematics --- Foundations --- Programming --- Computer network architectures. --- Computer software. --- Computer vision. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Software, Computer --- Computer systems --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Computer science—Mathematics. --- Optical data processing. --- Optical computing --- Visual data processing --- Bionics --- Integrated optics --- Photonics --- Optical equipment --- Parallel processing (Electronic computers) - Congresses
Choose an application
We welcome you to Coordination ’99, the third in a series of conferences d- icated to an important perspective on the development of complex software systems. That perspective is shared by a growing community of researchers - terested in models, languages, and implementation techniques for coordination. The last decade has seen the emergence of a class of models and languages variously termed “coordination languages”, “con?guration languages”, “arc- tectural description languages”, and “agent-oriented programming languages”. Theseformalismsprovideacleanseparationbetweenindividualsoftwarecom- nents and their interaction within the overall software organization. This se- ration makes complex applications more tractable, supports global analysis,and enhances the reuse of software components. The proceedings of the previous two conferences on this topic were published by Springer as Lecture Notes in Computer Science 1061 and 1282. This issue of LNCS containing the papers presented at Coordination ’99 continues the tradition of carefully selected and high quality papers representing the state of the artin coordinationtechnology.In responseto thecallfor papers,wereceived 67 submissions, from which 26 papers were accepted. These proceedings also contain abstracts for posters presented at the conference. This year’s program features invited talks by Rocco De Nicola and Danny B. Lange. Reading through the papers, we expect that you may be surprised by the variety of disciplines within computer science that have embraced the notion of coordination. In fact, we expect this trend to continue, and hope that you will contribute to the on-going exploration of its strengths, weaknesses, and applications.
Parallel processing (Electronic computers) --- Electronic data processing --- Computer Science --- Engineering & Applied Sciences --- Distributed processing --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Operating systems (Computers). --- Computers. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Operating Systems. --- Computer Communication Networks. --- Programming Techniques. --- Computation by Abstract Devices. --- Software Engineering. --- Computer software engineering --- Engineering --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Operating systems --- 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 --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 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 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Parallel processing (Electronic computers) - Congresses --- Electronic data processing - Distributed processing - Congresses
Choose an application
This book constitutes the refereed proceedings of 11 IPPS/SPDP '98 Workshops held in conjunction with the 13th International Parallel Processing Symposium and the 10th Symposium on Parallel and Distributed Processing in San Juan, Puerto Rico, USA in April 1999. The 126 revised papers presented were carefully selected from a wealth of papers submitted. The papers are organised in topical sections on biologically inspired solutions to parallel processing problems: High-Level Parallel Programming Models and Supportive Environments; Biologically Inspired Solutions to Parallel Processing; Parallel and Distributed Real-Time Systems; Run-Time Systems for Parallel Programming; Reconfigurable Architectures; Java for Parallel and Distributed Computing; Optics and Computer Science; Solving Irregularly Structured Problems in Parallel; Personal Computer Based Workstation Networks; Formal Methods for Parallel Programming; Embedded HPC Systems and Applications.
Computer Science --- Engineering & Applied Sciences --- Parallel processing (Electronic computers) --- Electronic data processing --- Distributed processing --- Computer science. --- Computer hardware. --- Computer organization. --- Architecture, Computer. --- Software engineering. --- Computers. --- Computer science --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Computer Systems Organization and Communication Networks. --- Computer Hardware. --- Discrete Mathematics in Computer Science. --- Theory of Computation. --- 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. --- Computational complexity. --- Information theory. --- Communication theory --- Communication --- Complexity, Computational --- 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
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of submissions has gone up, and thus the program committee was able to select 18 good papers, only one less than the year before. The program committee did not meet physically, and all discussion was done usinga Web-driven data base system. Despite some mixed feelings there is an overall tendency to appreciate the extra time available for giving papers a s- ond look and really going into comments made by other program committee members. I want to thank my fellow program committee members for the work they have put into the refereeingprocess and the valuable feedback they have given to authors. I want to thank the referees for their work and many detailed comments, and ?nally I want to thank everyone who has submitted a paper: without authors, no conference.
Computer Science --- Engineering & Applied Sciences --- Computer programming --- Programming languages (Electronic computers) --- Congresses --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Data Structures. --- Logic design. --- Data structures (Computer scienc. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- 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
Quantum computers --- Optical communications --- Quantum communication --- Quantum communication. --- Quantum communications --- Computer science. --- Data encryption (Computer science). --- Coding theory. --- Computers. --- Database management. --- Quantum physics. --- Quantum computers. --- Spintronics. --- Computer Science. --- Data Encryption. --- Coding and Information Theory. --- Database Management. --- Computation by Abstract Devices. --- Quantum Information Technology, Spintronics. --- Quantum Physics. --- Quantum theory. --- Cryptology. --- Quantum dynamics --- Quantum mechanics --- Quantum physics --- Physics --- Mechanics --- Thermodynamics --- Informatics --- Science --- 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 --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Data encoding (Computer science) --- Encryption of data (Computer science) --- Computer security --- Cryptography --- Information theory. --- Fluxtronics --- Magnetoelectronics --- Spin electronics --- Spinelectronics --- Microelectronics --- Nanotechnology --- Computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Communication theory --- Communication --- Quantum computers - Congresses --- Optical communications - Congresses
Choose an application
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC’99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in LNCS 1386. The focus of the workshop is on modeling, control, synthesis, design, and ve- cation of hybrid systems. A hybrid system is a theoretical model for a computer controlled engineering system, with a dynamics that evolves both in a discrete state set and in a family of continuous state spaces. Research is motivated by, for example, control of electro-mechanical systems (robots), air tra c control, control of automated freeways, and chemical process control. The emerging - search area of hybrid systems overlaps both with computer science and with control theory. The interaction between researchers from these elds is expected to be fruitfull for the development of the area of hybrid systems.
Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Computer science. --- Computer system failures. --- Computer logic. --- Artificial intelligence. --- Complexity, Computational. --- Control engineering. --- Robotics. --- Mechatronics. --- Computer Science. --- Logics and Meanings of Programs. --- Artificial Intelligence (incl. Robotics). --- Control. --- System Performance and Evaluation. --- Complexity. --- Control, Robotics, Mechatronics. --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Complexity, Computational --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Failures --- Logic design. --- Computer system performance. --- Engineering. --- Artificial Intelligence. --- Control and Systems Theory. --- Construction --- Industrial arts --- Technology --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computational complexity. --- Hybrid computers - Congresses
Listing 1 - 10 of 14 | << page >> |
Sort by
|