- Table View
- List View
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings (Lecture Notes in Computer Science #1579)
by W. Rance CleavelandETAPS’99 is the second 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 comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on 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.
Tools and Applications with Artificial Intelligence (Studies in Computational Intelligence #166)
by Constantinos Koutsojannis Spiros SirmakessisIn recent years, the use of Artificial Intelligence (AI) techniques has been greatly increased. The term “intelligence” seems to be a “must” in a large number of European and International project calls. AI Techniques have been used in almost any domain. Application-oriented systems usually incorporate some kind of “intelligence” by using techniques stemming from intelligent search, knowledge representation, machine learning, knowledge discovery, intelligent agents, computational intelligence etc. The Workshop on “Applications with Artificial Intelligence” seeks for quality papers on computer applications that incorporate some kind of AI technique. The objective of the workshop was to bring together scientists, engineers and practitioners, who work on designing or developing applications that use intelligent techniques or work on intelligent techniques and apply them to application domains (like medicine, biology, education etc), to present and discuss their research works and exchange ideas in this book.
Tools and Environments for Parallel and Distributed Computing (Wiley Series on Parallel and Distributed Computing #34)
by Salim Hariri Manish Parashar* An invaluable reference for anyone designing new parallel or distributed systems. * Includes detailed case studies of specific systems from Stanford, MIT, and other leading research universities. * The authors emphasize performance, surveying all available techniques.
Tools and Environments for Parallel and Distributed Systems (International Series in Software Engineering #2)
by TedLewis AmrZakyDeveloping correct and efficient software is far more complex for parallel and distributed systems than it is for sequential processors. Some of the reasons for this added complexity are: the lack of a universally acceptable parallel and distributed programming paradigm, the criticality of achieving high performance, and the difficulty of writing correct parallel and distributed programs. These factors collectively influence the current status of parallel and distributed software development tools efforts. Tools and Environments for Parallel and Distributed Systems addresses the above issues by describing working tools and environments, and gives a solid overview of some of the fundamental research being done worldwide. Topics covered in this collection are: mainstream program development tools, performance prediction tools and studies; debugging tools and research; and nontraditional tools. Audience: Suitable as a secondary text for graduate level courses in software engineering and parallel and distributed systems, and as a reference for researchers and practitioners in industry.
Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers (Communications in Computer and Information Science #779)
by Vladimir Itsykson Andre Scedrov Victor ZakharovThis book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers (Communications in Computer and Information Science #1288)
by Anna Kalenkova Jose A. Lozano Rostislav YavorskiyThis book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers (Communications in Computer and Information Science #1559)
by Rostislav Yavorskiy Ana Rosa Cavalli Anna KalenkovaThis book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.
Tools and Modes of Representation in the Laboratory Sciences (Boston Studies in the Philosophy and History of Science #222)
by Ursula Kleinconstitutive of reference in laboratory sciences as cultural sign systems and their manipulation and superposition, collectively shared classifications and associated conceptual frameworks,· and various fonns of collective action and social institutions. This raises the question of how much modes of representation, and specific types of sign systems mobilized to construct them, contribute to reference. Semioticians have argued that sign systems are not merely passive media for expressing preconceived ideas but actively contribute to meaning. Sign systems are culturally loaded with meaning stemming from previous practical applications and social traditions of applications. In new local contexts of application they not only transfer stabilized meaning but also can be used as active resources to add new significance and modify previous meaning. This view is supported by several analyses presented in this volume. Sign systems can be implemented like tools that are manipulated and superposed with other types of signs to forge new representations. The mode of representation, made possible by applying and manipulating specific types of representational tools, such as diagrammatic rather than mathematical representations, or Berzelian fonnulas rather than verbal language, contributes to meaning and forges fine-grained differentiations between scientists' concepts. Taken together, the essays contained in this volume give us a multifaceted picture of the broad variety of modes of representation in nineteenth-century and twentieth-century laboratory sciences, of the way scientists juxtaposed and integrated various representations, and of their pragmatic use as tools in scientific and industrial practice.
Tools and Techniques for High Performance Computing: Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers (Communications in Computer and Information Science #1190)
by Guido Juckeland Sunita ChandrasekaranThis book constitutes the refereed proceedings of 3 workshops co-located with International Conference for High Performance Computing, Networking, Storage, and Analysis, SC19, held in Denver, CO, USA, in November 2019. The 12 full papers presented in this proceedings feature the outcome of the 6th Annual Workshop on HPC User Support Tools, HUST 2019, International Workshop on Software Engineering for HPC-Enabled Research, SE-HER 2019, and Third Workshop on Interactive High-Performance Computing, WIHPC 2019.
Tools and Techniques for Social Science Simulation
by Ramzi Suleiman Klaus G. Troitzsch Nigel GilbertThe use of computer simulations to study social phenomena has grown rapidly during the last few years. Many social scientists from the fields of economics, sociology, psychology and other disciplines now use computer simulations to study a wide range of social phenomena. The availability of powerful personal computers, the development of multidisciplinary approaches and the use of artificial intelligence models have all contributed to this development. The benefits of using computer simulations in the social sciences are obvious. This holds true for the use of simulations as tools for theory building and for its implementation as a tool for sensitivity analysis and parameter optimization in application-oriented models. In both, simulation provides powerful tools for the study of complex social systems, especially for dynamic and multi-agent social systems in which mathematical tractability is often impossible. The graphical display of simulation output renders it user friendly to many social scientists that lack sufficient familiarity with the language of mathematics. The present volume aims to contribute in four directions: (1) To examine theoretical and methodological issues related to the application of simulations in the social sciences. By this we wish to promote the objective of designing a unified, user-friendly, simulation toolkit which could be applied to diverse social problems. While no claim is made that this objective has been met, the theoretical issues treated in Part 1 of this volume are a contribution towards this objective.
Tools and Weapons: The Promise and The Peril of the Digital Age
by Brad Smith Carol Ann Browne"A clear, compelling guide to some of the most pressing debates in technology today." - Bill Gates, from the forewordFrom Microsoft's President and one of the tech industry's wisest thinkers, a frank and thoughtful reckoning with how to balance enormous promise and existential risk as the digitization of everything accelerates.__________Microsoft President Brad Smith operates by a simple core belief: when your technology changes the world, you bear a responsibility to help address the world you have helped create. This might seem uncontroversial, but it flies in the face of a tech sector long obsessed with rapid growth and sometimes on disruption as an end in itself. Now, though, we have reached an inflection point: Silicon Valley has moved fast and it has broken things. A new understanding has emerged that companies that create technology must accept greater responsibility for the future. And governments will need to regulate technology by moving faster and catching up with the pace of innovation that is impacting our communities and changing the world.In Tools and Weapons, Brad Smith takes us into the cockpit of one of the world's largest and most powerful tech companies as it finds itself in the middle of some of the thorniest emerging issues of our time. These are challenges that come with no pre-existing playbook, including privacy, cybercrime and cyberwar, social media, the moral conundrums of AI, big tech's relationship to inequality and the challenges for democracy, far and near. While in no way a self-glorifying "Microsoft memoir," the book opens up the curtain remarkably wide onto some of the company's most crucial recent decision points, as it strives to protect the hopes technology offers against the very real threats it also presents. Every tool can be a weapon in the wrong person's hands, and companies are being challenged in entirely new ways to embrace the totality of their responsibilities. We have moved from a world in which Silicon Valley could take no prisoners to one in which tech companies and governments must work together to address the challenges and adapt to the changes technology has unleashed. There are huge ramifications to be thought through, and Brad Smith provides a marvellous and urgently necessary contribution to that effort.__________In Tools and Weapons, Brad Smith takes us behind the scenes on some of the biggest stories to hit the tech industry in the past decade. From Edward Snowden's NSA leak to the NHS WannaCry ransomware attack, this book is essential reading to understand what's happening in the world around us.
Tools for Activating Data Marketplace: Toward Innovations with Data-mediated Communications (Understanding Innovation)
by Teruaki Hayashi Yukio OhsawaThis book explores the employment of market mechanisms for data-interactive innovations. Based on the concept of innovators' marketplaces the book introduces a new concept of 'data jackets' to enable analysis of what kind of data exist, where they are located, and what kind of information they hold, even if the contents of data cannot be made publicly available.The book presents the concept of a marketplace for data in the case of data-interactive innovations. It introduces the marketplace as a platform for value-based exchange of data and - based on the idea of the innovators' marketplace - explains how data jackets can be utilized independently from the actual contents of the data. Specific chapters deepen the understanding of variables, constraints and intentions as constituent parts of data jackets, and the extension to variable quest, a process towards the design of data. A number of case studies showcases how the methods and processes presented can be employed in real-life contexts. Finally the authors present some extensions of the concept for web-based IMDJ and connections to business information system and an outlook.
Tools for Computational Finance (Universitext)
by Rüdiger U. SeydelComputational and numerical methods are used in a number of ways across the field of finance. It is the aim of this book to explain how such methods work in financial engineering. By concentrating on the field of option pricing, a core task of financial engineering and risk analysis, this book explores a wide range of computational tools in a coherent and focused manner and will be of use to anyone working in computational finance. Starting with an introductory chapter that presents the financial and stochastic background, the book goes on to detail computational methods using both stochastic and deterministic approaches.Now in its sixth edition, Tools for Computational Finance has been significantly revised and contains: Several new parts such as a section on extended applications of tree methods, including multidimensional trees, trinomial trees, and the handling of dividends;Additional material in the field of generating normal variates with acceptance-rejection methods, and on Monte Carlo methods;115 exercises, and more than 100 figures, many in color.Written from the perspective of an applied mathematician, all methods are introduced for immediate and straightforward application. A ‘learning by calculating’ approach is adopted throughout this book, enabling readers to explore several areas of the financial world.Interdisciplinary in nature, this book will appeal to advanced undergraduate and graduate students in mathematics, engineering, and other scientific disciplines as well as professionals in financial engineering.
Tools for Design, Implementation and Verification of Emerging Information Technologies: 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #523)
by Jianghua Liu Lei Xu Xinyi HuangThis book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023. The 9 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on blockchain and its applications; emerging applications; AI and its security.
Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th EAI International Conference, TridentCom 2020, Virtual Event, November 13, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #380)
by Yu Weng Yuyu Yin Li Kuang Zijian ZhangThis book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2020. Due to COVID 19 pandemic the conference was held virtually. The 12 full papers were selected from 32 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on computer network and testbed application as well as analytics for big data of images and test.
Tools for Design, Implementation and Verification of Emerging Information Technologies: 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #489)
by Shui Yu Bruce Gu Youyang Qu Xiaodong WangThis book constitutes the refereed post-conference proceedings of the 17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2022, which was held in Melbourne, Australia, in November 23-25,2022. The 11 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on network security; network communication; network services; mobile and ad hoc networks; blockchain; machine learning.
Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
by Alexander Schulz Rainer Keller Valentin Himmler Bettina KrammerDeveloping software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers. Multi-core processors are already available today, and processors with a dozen and more cores are on the horizon. The major driving force in hardware development, the game industry, has - ready shown interest in using parallel programming paradigms, such as OpenMP for further developments. Therefore developers have to be supported in the even more complex task of programming for these new architectures. HLRS has a long-lasting tradition of providing its user community with the most up-to-date software tools. Additionally, important research and development projects are worked on at the center: among the software packages developed are the MPI correctness checker Marmot, the OpenMP validation suite and the M- implementations PACX-MPI and Open MPI. All of these software packages are - ing extended in the context of German and European community research projects, such as ParMA, the InterActive European Grid (I2G) project and the German C- laborative Research Center (Sonderforschungsbereich 716). Furthermore, ind- trial collaborations, i.e. with Intel and Microsoft allow HLRS to get its software production-grade ready. In April 2007, a European project on Parallel Programming for Multi-core - chitectures, in short ParMA was launched, with a major focus on providing and developing tools for parallel programming.
Tools for High Performance Computing 2009: Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
by Matthias S. Müller Michael M. Resch Alexander Schulz Wolfgang E. NagelAs more and more hardware platforms support parallelism, parallel programming is gaining momentum. Applications can only leverage the performance of multi-core processors or graphics processing units if they are able to split a problem into smaller ones that can be solved in parallel. The challenges emerging from the development of parallel applications have led to the development of a great number of tools for debugging, performance analysis and other tasks. The proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing provide a technical overview in order to help engineers, developers and computer scientists decide which tools are best suited to enhancing their current development processes.
Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
by Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel and Michael M. ReschThe proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. The initial planning for Exascale already started when the first Petaflop system was delivered. Many challenges need to be addressed to reach the necessary performance. Scalability, energy efficiency and fault-tolerance need to be increased by orders of magnitude. The goal can only be achieved when advanced hardware is combined with a suitable software stack. In fact, the importance of software is rapidly growing. As a result, many international projects focus on the necessary software.
Tools for High Performance Computing 2012
by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch and Wolfgang E. NagelThe latest advances in the High Performance Computing hardware have significantly raised the level of available compute performance. At the same time, the growing hardware capabilities of modern supercomputing architectures have caused an increasing complexity of the parallel application development. Despite numerous efforts to improve and simplify parallel programming, there is still a lot of manual debugging and tuning work required. This process is supported by special software tools, facilitating debugging, performance analysis, and optimization and thus making a major contribution to the development of robust and efficient parallel software. This book introduces a selection of the tools, which were presented and discussed at the 6th International Parallel Tools Workshop, held in Stuttgart, Germany, 25-26 September 2012.
Tools for High Performance Computing 2013: Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany
by Andreas Knüpfer José Gracia Wolfgang E. Nagel Michael M. ReschCurrent advances in High Performance Computing (HPC) increasingly impact efficient software development workflows. Programmers for HPC applications need to consider trends such as increased core counts, multiple levels of parallelism, reduced memory per core, and I/O system challenges in order to derive well performing and highly scalable codes. At the same time, the increasing complexity adds further sources of program defects. While novel programming paradigms and advanced system libraries provide solutions for some of these challenges, appropriate supporting tools are indispensable. Such tools aid application developers in debugging, performance analysis, or code optimization and therefore make a major contribution to the development of robust and efficient parallel software. This book introduces a selection of the tools presented and discussed at the 7th International Parallel Tools Workshop, held in Dresden, Germany, September 3-4, 2013.
Tools for High Performance Computing 2014: Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany
by Christoph Niethammer José Gracia Andreas Knüpfer Michael M. Resch Wolfgang E. NagelNumerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order to enhance their compute power and energy efficiency. This complexity can only be mastered with adequate development and optimization tools. Key topics addressed by these tools include parallelization on heterogeneous systems, performance optimization for CPUs and accelerators, debugging of increasingly complex scientific applications and optimization of energy usage in the spirit of green IT. This book represents the proceedings of the 8th International Parallel Tools Workshop, held October 1-2, 2014 in Stuttgart, Germany – which is a forum to discuss the latest advancements in the parallel tools.
Tools for High Performance Computing 2015: Proceedings of the 9th International Workshop on Parallel Tools for High Performance Computing, September 2015, Dresden, Germany
by Andreas Knüpfer Tobias Hilbrich Christoph Niethammer José Gracia Wolfgang E. Nagel Michael M. ReschHigh Performance Computing (HPC) remains a driver that offers huge potentials and benefits for science and society. However, a profound understanding of the computational matters and specialized software is needed to arrive at effective and efficient simulations. Dedicated software tools are important parts of the HPC software landscape, and support application developers. Even though a tool is by definition not a part of an application, but rather a supplemental piece of software, it can make a fundamental difference during the development of an application. Such tools aid application developers in the context of debugging, performance analysis, and code optimization, and therefore make a major contribution to the development of robust and efficient parallel software. This book introduces a selection of the tools presented and discussed at the 9th International Parallel Tools Workshop held in Dresden, Germany, September 2-3, 2015, which offered an established forum for discussing the latest advances in parallel tools.
Tools for High Performance Computing 2016: Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany
by Christoph Niethammer José Gracia Tobias Hilbrich Andreas Knüpfer Michael M. Resch Wolfgang E. NagelThis book presents the proceedings of the 10th International Parallel Tools Workshop, held October 4-5, 2016 in Stuttgart, Germany – a forum to discuss the latest advances in parallel tools.High-performance computing plays an increasingly important role for numerical simulation and modelling in academic and industrial research. At the same time, using large-scale parallel systems efficiently is becoming more difficult. A number of tools addressing parallel program development and analysis have emerged from the high-performance computing community over the last decade, and what may have started as collection of small helper script has now matured to production-grade frameworks. Powerful user interfaces and an extensive body of documentation allow easy usage by non-specialists.
Tools for High Performance Computing 2017: Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany
by Christoph Niethammer Michael M. Resch Wolfgang E. Nagel Holger Brunst Hartmut MixThis book presents the proceedings of the 11th International Parallel Tools Workshop, a forum to discuss the latest advances in parallel tools, held September 11-12, 2017 in Dresden, Germany.High-performance computing plays an increasingly important role for numerical simulation and modeling in academic and industrial research. At the same time, using large-scale parallel systems efficiently is becoming more difficult. A number of tools addressing parallel program development and analysis has emerged from the high-performance computing community over the last decade, and what may have started as a collection of a small helper scripts has now matured into production-grade frameworks. Powerful user interfaces and an extensive body of documentation together create a user-friendly environment for parallel tools.