Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Multicore Software Engineering, Performance, and Tools
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013. The 9 revised papers were carefully reviewed and selected from 25 submissions. The accepted papers are organized into three main sessions and cover topics such as software engineering for multicore systems; specification, modeling and design; programing models, languages, compiler techniques and development tools; verification, testing, analysis, debugging and performance tuning, security testing; software maintenance and evolution; multicore software issues in scientific computing, embedded and mobile systems; energy-efficient computing as well as experience reports.
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
The Chronicles of Fernão Lopes
"The first complete English translation of one of the major chronicles of medieval Europe, by 'the father of Portuguese historiography.' Covering the reigns of Pedro I, Fernando I and João I up to the signing of the 1411 treaty with Castile which confirmed the survival of the Portuguese kingdom, the chronicles provide a wealth of detail on late fourteenth-century politics, diplomacy, warfare and economic matters, courtly society, queenship and noble women, as well as more mundane concerns such as food, health and the purchasing power of a fluctuating currency. Lopes had a keen eye for detail and a perspective especially attuned to the common people, and his chronicles provide an invaluable source for the history of Western Europe in the later Middle Ages. The first four volumes are accompanied by introductions and bibliographies setting the translations in context, and the fifth volume contains a general bibliography and a comprehensive general index encompassing all of the chronicles"--publisher's website.
Handbook of Digital Twins
Over the last two decades, Digital Twins (DTs) have become the intelligent representation of future development in industrial production and daily life. Consisting of over 50 chapters by more than 100 contributors, this comprehensive handbook explains the concept, architecture, design specification and application scenarios of DTs. As a virtual model of a process, product or service to pair the virtual and physical worlds, DTs allow data analysis and system monitoring by using simulations. The fast-growing technology has been widely studied and developed in recent years. Featured with centralization, integrity and dynamics, it is cost-effective to drive innovation and performance. Many field...
Lourenço Da Silva Mendonça and the Black Atlantic Abolitionist Movement in the Seventeenth Century
This groundbreaking study tells the story of the highly organised, international legal court case for the abolition of slavery spearheaded by Prince Lourenço da Silva Mendonça in the seventeenth century. The case, presented before the Vatican, called for the freedom of all enslaved people and other oppressed groups. This included New Christians (Jews converted to Christianity) and Indigenous Americans in the Atlantic World, and Black Christians from confraternities in Angola, Brazil, Portugal and Spain. Abolition debate is generally believed to have been dominated by white Europeans in the eighteenth century. By centring African agency, José Lingna Nafafé offers a new perspective on the abolition movement, showing, for the first time, how the legal debate was begun not by Europeans, but by Africans. In the first book of its kind, Lingna Nafafé underscores the exceptionally complex nature of the African liberation struggle, and demystifies the common knowledge and accepted wisdom surrounding African slavery.
The Medical Register
None
Contemporary Lusophone African Film
Offering a range of critical perspectives on a vibrant body of films, this collection of essays engages with questions specific to the various cinemas and films addressed while putting forward an argument for their inclusion in current debates on world cinema. The collection brings together 11 chapters by recognized scholars, who analyze a variety of films and videos from Angola, Cape Verde, Guiné-Bissau, and Mozambique. It also includes an interview with Pedro Pimenta, one of the most distinguished African film festival organizers. Drawing on various theoretical perspectives, the volume strives to reverse the relative invisibility that has afflicted these cinemas, arguing that most, if not...
Euro-Par 2021: Parallel Processing
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic. The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, focusing on compilers, tools and environments; performance and power modeling, prediction and evaluation; scheduling and load balancing; data management, analytics and machine learning; cluster, cloud and edge computing; theory and algorithms for parallel and distributed processing; parallel and distributed programming, interfaces, and languages; parallel numerical methods and applications; and high performance architecture and accelerators.
