Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The GNU Compiler Collection (GCC) offers a variety of compilers for different programming languages including C, C++, Java, Fortran, and Ada. The Definitive Guide to GCC, Second Edition has been revised to reflect the changes made in the most recent major GCC release, version 4. Providing in-depth information on GCC's enormous array of features and options, and introducing crucial tools such as autoconf, gprof, and libtool, this book functions as both a guide and reference. This book goes well beyond a general introduction to GCC and covers key programming techniques such as profiling and optimization that, when used in conjunction with GCC's advanced features, can greatly improve application performance. This second edition will prove to be an invaluable resource, whether youre a student seeking familiarity with this crucial tool or an expert who uses GCC on a daily basis.

Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer science. --- Software engineering. --- Informatique --- Génie logiciel --- Compilers (Computer programs). --- Compilers (Computer programs) -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Programming languages (Electronic computers) -- Congresses. --- Compilers (Computer programs) --- Engineering & Applied Sciences --- Computer Science --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Programming Languages, Compilers, Interpreters. --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming languages (Electronic computers). --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer and Information Sciences is a unique and comprehensive review of advanced technology and research in the field of Information Technology. It provides an up to date snapshot of research in Europe and the Far East (Hong Kong, Japan and China) in the most active areas of information technology, including Computer Vision, Data Engineering, Web Engineering, Internet Technologies, Bio-Informatics and System Performance Evaluation Methodologies.

Computers -- Congresses. --- Information technology -- Congresses. --- Computer science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Applied Physics --- Electrical Engineering --- Technology - General --- Computers --- Information technology --- Computer graphics. --- Computer vision. --- Computer Graphics. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Digital techniques --- Optical data processing. --- Optical computing --- Visual data processing --- Bionics --- Integrated optics --- Photonics --- Optical equipment

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Financial Decision Making Using Computational Intelligence covers all the recent developments in complex financial decision making through computational intelligence approaches. Computational intelligence has evolved rapidly in recent years and it is now one of the most active fields in operations research and computer science. The increasing complexity of financial problems and the enormous volume of financial data often make it difficult to apply traditional modeling and algorithmic procedures. In this context, the field of computational intelligence provides a wide range of useful techniques, including new modeling tools for decision making under risk and uncertainty, data mining techniques for analyzing complex data bases, and powerful algorithms for complex optimization problems.   This book presents the recent advances made in financial decision making using computational intelligence, covering both new methodological developments as well as new emerging application areas. This work covers a wide range of topics related to financial decision making, financial modeling, risk management, and financial engineering, including algorithmic trading, financial time-series analysis, asset pricing, portfolio management, auction markets, and insurance services. Practitioners in the financial industry as well as operations researchers, management scientists, and data analysts will find this publication highly useful.

Business -- Data processing -- Congresses. --- Computational intelligence -- Congresses. --- Computers -- Congresses. --- Finance --- Computational intelligence --- Civil & Environmental Engineering --- Business & Economics --- Engineering & Applied Sciences --- Operations Research --- Financial Management & Planning --- Finance - General --- Data processing --- Decision making --- Mathematical models --- Decision making. --- Data processing. --- Deciding --- Decision (Psychology) --- Decision analysis --- Decision processes --- Making decisions --- Management --- Management decisions --- Mathematics. --- Finance. --- Operations research. --- Management science. --- Operations Research, Management Science. --- Finance, general. --- Choice (Psychology) --- Problem solving --- Funding --- Funds --- Economics --- Currency question --- Quantitative business analysis --- Operations research --- Statistical decision --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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