MARC details
| 000 -LEADER |
|---|
| fixed length control field |
04256nam a22004575i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20231104114405.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
141229s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319147208 |
| Canceled/invalid ISBN |
978-3-319-14720-8 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-14720-8 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.A43 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMB |
| Source |
bicssc |
|
|---|
| Subject category code |
COM051300 |
| Source |
bisacsh |
|
|---|
| Subject category code |
UMB |
| Source |
thema005.1 |
| -- |
23 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
İngilizce |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Transactional Memory. Foundations, Algorithms, Tools, and Applications : |
| Remainder of title |
COST Action Euro-TM IC1001 / |
| Statement of responsibility, etc. |
edited by Rachid Guerraoui, Paolo Romano. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Theoretical Computer Science and General Issues ; |
| Volume/sequential designation |
8913 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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.- Lessons learnt from building complex TM-based applications. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer software. |
|
|---|
| Topical term or geographic name entry element |
Logic design. |
|
|---|
| Topical term or geographic name entry element |
Software engineering. |
|
|---|
| Topical term or geographic name entry element |
Algorithm Analysis and Problem Complexity. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16021 |
|
|---|
| Topical term or geographic name entry element |
Logics and Meanings of Programs. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I1603X |
|
|---|
| Topical term or geographic name entry element |
Software Engineering. |
| Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14029 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Guerraoui, Rachid. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
|
|---|
| Personal name |
Romano, Paolo. |
| Relator term |
editor. |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-319-14720-8">https://doi.org/10.1007/978-3-319-14720-8</a> |
| Materials specified |
Springer eBooks |
| Public note |
Online access link to the resource |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
|
|---|
| -- |
ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
Library of Congress Classification |
| Koha item type |
E-Book |
