Listing 1 - 8 of 8 |
Sort by
|
Choose an application
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
Hybrid computers --- Calculateurs hybrides --- Congresses. --- Congrès --- Digital control systems --- Computer Science --- Electrical Engineering --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Congrès --- EPUB-LIV-FT SPRINGER-B --- 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 --- Hybrid computers - Congresses. --- Digital control systems - Congresses. --- Computers, Special purpose. --- Computer architecture. --- Computer Science Logic and Foundations of Programming. --- Architecture, Computer
Choose an application
Molecular computers --- Ordinateurs moléculaires --- Congresses. --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computers. --- Algorithms. --- Artificial intelligence. --- Bioinformatics. --- Computer Science. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Computational Biology/Bioinformatics. --- Artificial Intelligence (incl. Robotics). --- 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 --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Molecular computers - Congresses --- Theory of Computation. --- Computational and Systems Biology.
Choose an application
Computer programming --- Programming languages (Electronic computers) --- Programmation (Informatique) --- Langages de programmation --- Congresses. --- Congrès --- Congresses --- Computer Science --- Engineering & Applied Sciences --- 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
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory 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 ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities 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 the 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 --- Congresses --- Computer Science --- Engineering & Applied Sciences --- 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. --- 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 --- Compilers (Computer programs). --- Machine theory. --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Choose an application
Electronic data processing --- Distributed operating systems (Computers) --- Traitement réparti --- Systèmes d'exploitation répartis --- Distributed processing --- Congresses. --- Congrès --- Computer Science --- Telecommunications --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Operating systems (Computers). --- Computer Science. --- Computer System Implementation. --- Computer Communication Networks. --- Software Engineering. --- Programming Techniques. --- Operating Systems. --- Special Purpose and Application-Based Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Architecture, Computer --- 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 --- Network computers --- Informatics --- Science --- Operating systems --- Programming --- Operating systems (Computers) --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Electronic data processing - Distributed processing - Congresses. --- Distributed operating systems (Computers) - Congresses. --- Computer systems. --- Computer networks. --- Computers, Special purpose. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer
Choose an application
Electronic data processing --- Distributed operating systems (Computers) --- Traitement réparti --- Systèmes d'exploitation répartis --- Distributed processing --- Congresses. --- Congrès --- Computer Science --- Telecommunications --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Information Technology --- Computer Science (Hardware & Networks) --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Architecture, Computer. --- Computer programming. --- Software engineering. --- Operating systems (Computers). --- Computer Science. --- Computer System Implementation. --- Computer Communication Networks. --- Software Engineering. --- Programming Techniques. --- Operating Systems. --- Special Purpose and Application-Based Systems. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Computer software engineering --- Engineering --- Architecture, Computer --- Special purpose 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 --- Informatics --- Science --- Operating systems --- Programming --- Operating systems (Computers) --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Electronic data processing - Distributed processing - Congresses. --- Distributed operating systems (Computers) - Congresses. --- Computer systems. --- Computer networks. --- Computers, Special purpose. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer
Choose an application
Embedded computing systems have started to carry out the key control functions in diverse domains such as telecommunications, automotive electronics, avionics and even complete industrial manufacturing lines. Traditionally, such embedded control systems have been implemented in a monolithic, centralized manner. However, distributed and parallel solutions have been steadily gaining popularity. In a distributed setup, the control task is carried out by a number of controllers distributed over the entire system and interconnected as a network by communication components such as field buses. More demanding local control applications require controllers based on parallel architectures or processors with dedicated co-processors. Distribution and parallelism in embedded system design increase the engineering challenges and demand new development methods and tools. From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
Embedded computer systems --- Electronic data processing --- Parallel processing (Electronic computers) --- Systèmes enfouis (Informatique) --- Traitement réparti --- Parallélisme (Informatique) --- Congresses --- Distributed processing --- Congrès --- Electronic data processing -- Distributed processing -- Congresses. --- Embedded computer systems -- Congresses. --- Parallel processing (Electronic computers) -- Congresses. --- Computer Science --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Computer organization. --- Computer communication systems. --- Computer system failures. --- Architecture, Computer. --- Computer Science. --- Computer Communication Networks. --- Computer System Implementation. --- System Performance and Evaluation. --- Computer Systems Organization and Communication Networks. --- Computer network architectures. --- Computer system performance. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Organization, Computer --- Electronic digital computers --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Architecture, Computer --- 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 --- Failures --- Computer networks. --- Computer systems. --- Computer engineering. --- Computer Engineering and Networks. --- Evaluation. --- Computers --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Design and construction
Listing 1 - 8 of 8 |
Sort by
|