Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans,LouisianaUSA.Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation,compilationtechniques,paralleldatastructureandparallelexecution models,toregisterallocationandmemorymanagementinparallelenvironments. Out of the 49 paper submissions, the Program Committee, with the help of external reviewers, selected 24 papers for presentation at the workshop. Each paper had at least three reviews and was extensively discussed in the comm- tee meeting. The papers were presented in 30-minute sessions at the workshop. One of the selected papers, while still included in the proceedings, was not p- sented because of an unfortunate visa problem that prevented the authors from attending the workshop. We werefortunateto havetwooutstanding keynoteaddressesatLCPC2006, both from UC Berkeley. Kathy Yelick presented “Compilation Techniques for Partitioned Global Address Space Languages.” In this keynote she discussed the issues in developing programming models for large-scale parallel machines and clusters, and how PGAS languages compare to languages emerging from the DARPA HPCS program.She also presented compiler analysis and optimi- tion techniques developed in the context of UPC and Titanium source-to-source compilers for parallel program and communication optimizations.
Parallel processing (Electronic computers) --- Programming languages (Electronic computers) --- Compilers (Computer programs) --- Parallélisme (Informatique) --- Langages de programmation --- Compilateurs (Logiciels) --- Congresses. --- Congrès --- Compilers (Computer programs) -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Programming languages (Electronic computers) -- Congresses. --- Engineering & Applied Sciences --- Computer Science --- Computer science. --- Arithmetic and logic units, Computer. --- Computer communication systems. --- Computer programming. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Computers. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Computation by Abstract Devices. --- Computer Communication Networks. --- Arithmetic and Logic Structures. --- Data Structures. --- 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 --- 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 languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- 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 --- Arithmetic and logic units, Computer --- Computer arithmetic --- Informatics --- Science --- Programming --- Distributed processing --- Circuits --- Data structures (Computer scienc. --- Compilers (Computer programs). --- Computer networks. --- Computer arithmetic and logic units. --- Artificial intelligence—Data processing. --- Compilers and Interpreters. --- Theory of Computation. --- Data Science. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Choose an application
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22–24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Congrès --- EPUB-LIV-FT SPRINGER-B --- 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. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- 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 --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming - Congresses --- Programming languages (Electronic computers) - Congresses
Choose an application
Parallel processing (Electronic computers) --- Electronic data processing --- Parallélisme (Informatique) --- Traitement réparti --- Congresses. --- Distributed processing --- Congrès --- Electronic data processing -- Distributed processing -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Computer science. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computers. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computer System Implementation. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Programming Techniques. --- Computation by Abstract Devices. --- 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 languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- Special purpose computers --- Informatics --- Science --- Programming --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Choose an application
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.
Hybrid computers --- Digital control systems --- Calculateurs hybrides --- Commande numérique --- Congresses. --- Congrès --- Digital control systems -- Congresses. --- Hybrid computers -- Congresses. --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Computer science. --- Microprocessors. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Computer Science. --- Theory of Computation. --- Special Purpose and Application-Based Systems. --- Processor Architectures. --- Logics and Meanings of Programs. --- Software Engineering. --- Computation by Abstract Devices. --- 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 --- Computers --- Minicomputers --- Informatics --- Science --- Automatic control --- Electronic digital computers --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer
Choose an application
This book comprises a selection of papers from IFSA 2007 on new methods for analysis and design of hybrid intelligent systems using soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including fuzzy logic, neural networks, and genetic algorithms, which can be used to produce powerful hybrid intelligent systems for solving problems in pattern recognition, time series prediction, intelligent control, robotics and automation. Hybrid intelligent systems that combine several SC techniques are needed due to the complexity and high dimensionality of real-world problems. Hybrid intelligent systems can have different architectures, which have an impact on the efficiency and accuracy of these systems, for this reason it is very important to optimize architecture design. The architectures can combine, in different ways, neural networks, fuzzy logic and genetic algorithms, to achieve the ultimate goal of pattern recognition, time series prediction, intelligent control, or other application areas.
Expert systems (Computer science) --- Soft computing --- Hybrid computers --- Systèmes experts (Informatique) --- Informatique douce --- Calculateurs hybrides --- Congresses. --- Congrès --- Expert systems (Computer science) -- Congresses. --- Hybrid computers -- Congresses. --- Soft computing -- Congresses. --- Engineering & Applied Sciences --- Civil & Environmental Engineering --- Civil Engineering --- Applied Mathematics --- Computer Science --- Engineering. --- Artificial intelligence. --- Applied mathematics. --- Engineering mathematics. --- Appl.Mathematics/Computational Methods of Engineering. --- Artificial Intelligence (incl. Robotics). --- Applications of Mathematics. --- Engineering --- Engineering analysis --- Mathematical analysis --- 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 --- Construction --- Industrial arts --- Technology --- Mathematics --- Mathematics. --- Mathematical and Computational Engineering. --- Artificial Intelligence. --- Math --- Science
Choose an application
Hybrid Artificial Intelligence Systems (HAIS) combines symbolic and sub-symbolic techniques to construct more robust and reliable problem solving models. This volume focused on "Hybrid Artificial Intelligence Systems" contains a collection of papers that were presented at the 2nd International Workshop on Hybrid Artificial Intelligence Systems, held in 12 - 13 November, 2007, Salamanca, Spain. This carefully edited book provides a comprehensive overview of the recent advances in the hybrid intelligent systems and covers a wide range of application areas, including data analysis and data mining, intelligent control, pattern recognition, robotics, optimization, etc. The book is aimed at researchers, practitioners and postgraduate students who are engaged in developing and applying advanced intelligent systems principles to solving real-world problems.
Expert systems (Computer science) --- Artificial intelligence --- Hybrid computers --- Systèmes experts (Informatique) --- Intelligence artificielle --- Calculateurs hybrides --- Congresses. --- Congrès --- Artificial intelligence -- Congresses. --- Artificial intelligence. --- Hybrid computers -- Congresses. --- Hybrid computers. --- Engineering & Applied Sciences --- Civil & Environmental Engineering --- Applied Mathematics --- Civil Engineering --- Computer Science --- Computer science. --- Applied mathematics. --- Engineering mathematics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Appl.Mathematics/Computational Methods of Engineering. --- Applications of Mathematics. --- Engineering --- Engineering analysis --- Mathematical analysis --- 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 --- Informatics --- Science --- Mathematics --- Mathematics. --- Artificial Intelligence. --- Mathematical and Computational Engineering. --- Math
Choose an application
Computer software --- Computers --- Computer science --- Logiciels d'ordinateurs --- Ordinateurs --- Informatique --- Congresses. --- Congrès --- Computer science -- Congresses. --- Computer software -- Congresses. --- Computers -- Congresses. --- Electronic books. -- local. --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Database management. --- Information storage and retrieval. --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Computer Communication Networks. --- Database Management. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- 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 --- 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 --- 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 --- Distributed processing --- Information theory. --- Information storage and retrieva. --- Communication theory --- Communication --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer networks. --- Computer and Information Systems Applications. --- Data centers
Choose an application
Ubiquitous computing --- Mobile computing --- Portable computers --- Informatique omniprésente --- Informatique mobile --- Ordinateurs portables --- Congresses. --- Congrès --- Mobile computing -- Congresses. --- Portable computers -- Congresses. --- Ubiquitous computing -- Congresses. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer Science --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Computer security. --- Information storage and retrieval. --- Computer engineering. --- Computer Science. --- Computer Engineering. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Systems and Data Security. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computers --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Special purpose computers --- 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 --- Informatics --- Science --- Design and construction --- Protection --- Security measures --- Distributed processing --- Software engineering. --- Information storage and retrieva. --- Computer software engineering --- Engineering --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Neural networks (Computer science) --- Adaptive computing systems --- Computer algorithms --- Neural computers --- Bioinformatics --- Machine learning --- Réseaux neuronaux (Informatique) --- Systèmes adaptatifs (Informatique) --- Algorithmes --- Ordinateurs neuronaux --- Bio-informatique --- Apprentissage automatique --- Congresses. --- Congrès --- Adaptive computing systems -- Congresses. --- Bioinformatics -- Congresses. --- Computer algorithms -- Congresses. --- Machine learning -- Congresses. --- Neural computers -- Congresses. --- Neural networks (Computer science) -- Congresses. --- Support vector machines --- Computer Science --- Engineering & Applied Sciences --- SVMs (Algorithms) --- Adaptive computing --- Configurable computing systems --- Reconfigurable computing systems --- Computer science. --- Computer programming. --- Software engineering. --- Computers. --- Algorithms. --- Artificial intelligence. --- Application software. --- Computer Science. --- Programming Techniques. --- Computer Applications. --- Artificial Intelligence (incl. Robotics). --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Image processing. --- Image Processing and Computer Vision. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- 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 --- 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 --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Foundations --- Programming --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Computer software. --- Computer vision. --- Artificial Intelligence. --- Software, Computer --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Optical equipment --- Computer simulation. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Model-integrated computing --- Theory of Computation. --- Computer Vision. --- Computer and Information Systems Applications.
Choose an application
Parallel processing (Electronic computers) --- Electronic data processing --- Computational biology --- Bioinformatics --- Parallélisme (Informatique) --- Traitement réparti --- Bio-informatique --- Congresses. --- Distributed processing --- Congrès --- Congresses --- Bioinformatics -- Congresses. --- Computational biology -- Congresses. --- Computational grids (Computer systems) -- Congresses. --- Electronic books. -- local. --- Electronic data processing -- Distributed processing -- Congresses. --- Middleware -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Computer Science --- Telecommunications --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computational grids (Computer systems) --- Middleware --- Computer science. --- Computer organization. --- Architecture, Computer. --- Software engineering. --- Computers. --- Numerical analysis. --- Data mining. --- Computer Science. --- Computer System Implementation. --- Computer Systems Organization and Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Numeric Computing. --- Data Mining and Knowledge Discovery. --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Mathematical analysis --- 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 --- Computer software --- Computer network architectures. --- Information theory. --- Electronic data processing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Communication theory --- Communication --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Automation --- Computer systems. --- Computer engineering. --- Computer networks. --- Computer Engineering and Networks. --- Software Engineering. --- Numerical Analysis. --- 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 --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Design and construction
Listing 1 - 10 of 11 | << page >> |
Sort by
|