Listing 1 - 10 of 24 | << page >> |
Sort by
|
Choose an application
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming, and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of atomic transactions, Transactional Memory (TM) promises to free programmers from the complexity of conventional synchronization schemes, simplifying the development and verification of concurrent programs, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense research on a broad range of aspects including hardware and operating systems support, language integration, as well as algorithms and theoretical foundations. On the industrial side, the major players of the software and hardware markets have been up-front in the research and development of prototypal products providing support for TM systems. This has recently led to the introduction of hardware TM implementations on mainstream commercial microprocessors and to the integration of TM support for the world’s leading open source compiler. In such a vast inter-disciplinary domain, the Euro-TM COST Action (IC1001) has served as a catalyzer and a bridge for the various research communities looking at disparate, yet subtly interconnected, aspects of TM. This book emerged from the idea having Euro-TM experts compile recent results in the TM area in a single and consistent volume. Contributions have been carefully selected and revised to provide a broad coverage of several fundamental issues associated with the design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations, programming language integration and verification tools, hardware supports, distributed TM systems, self-tuning mechanisms, as well as lessons learnt from building complex TM-based applications.
Computer Science. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer science. --- Software engineering. --- Computer software. --- Logic design. --- Informatique --- Génie logiciel --- Logiciels --- Structure logique --- Engineering & Applied Sciences --- Computer Science --- Algorithms. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Transaction systems (Computer systems) --- Computer Science Logic and Foundations of Programming.
Choose an application
In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions as well as algorithms to implement these abstractions. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one specific class of abstractions, covering reliable delivery, shared memory, consensus and various forms of agreement. This textbook comes with a companion set of running examples implemented in Java. These can be used by students to get a better understanding of how reliable distributed programming abstractions can be implemented and used in practice. Combined, the chapters deliver a full course on reliable distributed programming. The book can also be used as a complete reference on the basic elements required to build reliable distributed applications.
Electronic data processing --- Traitement réparti --- Distributed processing. --- Distributed processing --- Reliability. --- Fiabilité --- Computer software --- Reliability --- Computer software -- Reliability. --- Electronic data processing -- Distributed processing. --- Computer Science --- Engineering & Applied Sciences --- Traitement réparti --- Fiabilité --- EPUB-LIV-FT LIVINFOR SPRINGER-B --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer science. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computers. --- Algorithms. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Algorithm Analysis and Problem Complexity. --- Computer Communication Networks. --- Operating Systems. --- Computer networks --- Information theory. --- Computer software. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Operating systems --- 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 --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Foundations --- Electronic data processing - Distributed processing --- Computer software - Reliability
Choose an application
DISC, the International Symposium on Distributed Computing, is an annual conference for the presentation of research on the theory, design, analysis, implementation, and application of distributed systems and network. DISC 2004 was held on October 4–7, 2004, in Amsterdam, The Netherlands. There were 142 papers submitted to DISC this year. These were read and evaluated by the program committee members, assisted by external reviewers. The quality of submissions was high and we were unable to accept many dese- ing papers. Thirty one papers were selected at the program committee meeting in Lausanne to be included in these proceedings. The proceedings include an extended abstract of the invited talk by Ueli Maurer. In addition, they include a eulogy for Peter Ruzicka by Shmuel Zaks. The Best Student Paper Award was split and given to two papers: the paper “Efficient Adaptive Collect Using Randomization”, co-authored by Hagit Attiya, Fabian Kuhn, Mirjam Wattenhofer and Roger Wattenhofer, and the paper “Coupling and Self-stabilization”,co-authored by Laurent Fribourg, Stephane Messika and Claudine Picaronny. The support of the CWI and EPFL is gratefully acknowledged. The review process and the preparation of this volume were done using CyberChairPRO. I also thank Sebastien Baehni and Sidath Handurukande for their crucial help with these matters. August 2004 Rachid Guerraoui Peter Ruzicka 1947–2003 Peter died on Sunday, October 5, 2003, at the age of 56, after a short disease. He was a Professor of Informatics at the Faculty of Mathematics, Physics and Informatics in Comenius University, Bratislava, Slovakia. Those of us who knew him through DISC and other occasions mourn his death and cherish his memory.
Electronic data processing --- Distributed processing --- Computer science. --- Computer Communication Networks. --- Operating systems (Computers). --- Computer software. --- Computer Science. --- Algorithm Analysis and Problem Complexity. --- Programming Techniques. --- Computation by Abstract Devices. --- Operating Systems. --- Computer Science --- Engineering & Applied Sciences --- Computer communication systems. --- Computer programming. --- Computers. --- Algorithms. --- Theory of Computation. --- Information theory. --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics --- Operating systems --- 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 --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorism --- Algebra --- Arithmetic --- Programming --- Foundations --- Electronic data processing - Distributed processing - Congresses
Choose an application
This book constitutes the revised selected papers of the First International Conference on Networked Systems, NETYS 2013, held in Marrakech, Morocco, in May 2013. The 33 papers (17 regular and 16 short papers) presented were carefully reviewed and selected from 74 submissions. They address major topics from theory and practice of networked systems: multi-core architectures, middleware, environments, storage clusters, as well as peer-to-peer, sensor, wireless, and mobile networks.
Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer science. --- Computer communication systems. --- Algorithms. --- Computer Science. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Computer networks --- Wireless communication systems --- Computer software. --- Software, Computer --- Computer systems --- Algorism --- Algebra --- Arithmetic --- 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 --- Foundations --- Distributed processing
Choose an application
My tailor is Object-Oriented". Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO can be viewed as a must-have" feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming languages, OO operating s- tems, OO databases, OO speci cations, OO methodologies, etc. So what does a conference on Object-Oriented Programming really mean? I honestly don’t know. What I do know is that, since its creation in 1987, ECOOP has been attracting a large number of contributions, and ECOOP conferences have ended up with high-quality technical programs, featuring interesting mixtures of theory and practice. Among the 183 initial submissions to ECOOP’99, 20 papers were selected for inclusion in the technical program of the conference. Every paper was reviewed by three to ve referees. The selection of papers was carried out during a t- day program committee meeting at the Swiss Federal Institute of Technology in Lausanne. Papers were judged according to their originality, presentation qu- ity, and relevance to the conference topics.
681.3*D15 --- 681.3*D2 --- 681.3*D15 Software: object-oriented programming --- Software: object-oriented programming --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Object-oriented programming (Computer science) --- Computer science. --- Information technology. --- Business --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computer Communication Networks. --- IT in Business. --- Data processing. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- 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 --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Programming --- Distributed processing --- Business—Data processing. --- Object-oriented programming (Computer science) - Congresses
Choose an application
Les algorithmes existent depuis que l’humain essaie de calculer. Au Moyen Âge, leur exécution est déléguée à des machines. En 1936, Alan Turing propose une machine universelle, exécutant tous les algorithmes possibles et imaginables, et donne ainsi naissance à l’ordinateur et à l’informatique. L’invention des réseaux, à partir des années 1960, a permis d’aller encore plus loin avec l’informatique répartie, connectant des ordinateurs dans de grands réseaux comme Internet et des processeurs dans de petits réseaux à l’intérieur de chacun des ordinateurs. L’objectif était de créer une super-machine, indestructible et ultra-rapide. Mais la recherche de ces « super-pouvoirs » a entraîné la perte de l’universalité. L’algorithmique répartie étudie les conditions permettant de retrouver l’universalité de Turing, ou des formes d’universalités restreintes réalisables.
Multidisciplinary --- informatique --- sciences numériques --- informatique répartie --- algorithmique --- algorithmes --- Internet --- réseaux --- universalité --- ordinateur --- asynchronisme --- calcul distribué --- calculabilité
Choose an application
The field of concurrent computing has gained in importance after major chip manufacturers switched their focus from increasing the speed of individual processors to increasing the number of processors on a chip. The computer industry has thus been calling for a software revolution: the concurrency revolution. A major challenge underlying this paradigm shift is creating a library of abstractions that developers can use for general purpose concurrent programming. We study in this book how to define and build such abstractions in a rigorous manner. We focus on those that are considered the most difficult to get right and have the highest impact on the overall performance of a program: synchronization abstractions, also called shared objects or concurrent data structures. The book is intended for software developers and students. It began as a set of lecture notes for courses given at EPFL and Télécom Paris. [Publisher]
Algorithms. --- Computer programming. --- Algorithmes. --- Ordinateurs --- Programmation.
Choose an application
Choose an application
Complex analysis --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- computerbeveiliging --- informatica management --- computernetwerken
Choose an application
This book constitutes the revised selected papers of the First International Conference on Networked Systems, NETYS 2013, held in Marrakech, Morocco, in May 2013. The 33 papers (17 regular and 16 short papers) presented were carefully reviewed and selected from 74 submissions. They address major topics from theory and practice of networked systems: multi-core architectures, middleware, environments, storage clusters, as well as peer-to-peer, sensor, wireless, and mobile networks.
Complex analysis --- Computer science --- Computer architecture. Operating systems --- draadloze computernetwerken --- complexe analyse (wiskunde) --- bedrijfssoftware --- mobiele netwerken --- computers --- computernetwerken --- computerkunde
Listing 1 - 10 of 24 | << page >> |
Sort by
|