Suchergebnisse - D13 [Programming Techniques]: Con- current Programming—Parallel programming

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Autoren: Flur, Shaked Sarkar, Susmit Pulte, Christopher et al.

Weitere Verfasser: Flur, Shaked Sarkar, Susmit Pulte, Christopher et al.

Quelle: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. :429-442

Schlagwörter: QA75, QA75 Electronic computers. Computer science, C0 [General]: Modeling of computer architecture, ~DC~, Mixed-size, NDAS, ISA, 02 engineering and technology, Semantics, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], F31 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs Keywords Relaxed Memory Models, mixed-size, Relaxed Memory Models, 0202 electrical engineering, electronic engineering, information engineering, BDC, D13 [Programming Techniques]: Con- current Programming—Parallel programming, semantics, R2C

Dateibeschreibung: application/pdf

Zugangs-URL: https://kar.kent.ac.uk/64723/1/mixed-size.pdf
https://inria.hal.science/hal-01413221v1
https://research-repository.st-andrews.ac.uk/handle/10023/9901
https://hal.inria.fr/hal-01413221
https://dl.acm.org/doi/pdf/10.1145/3009837.3009839
https://hal.inria.fr/hal-01413221/document
https://doi.org/10.1145/3009837.3009839
https://dblp.uni-trier.de/db/conf/popl/popl2017.html#FlurSPNMGSBS17
https://hdl.handle.net/10023/9901

Computing Handbook : Computer Science and Software Engineering

Autoren: Teofilo Gonzalez Jorge Diaz-Herrera Allen Tucker

Resource Type: eBook.

Schlagworte: Computer science--Handbooks, manuals, etc, MATHEMATICS / Advanced, COMPUTERS / Computer Engineering, MATHEMATICS / General

Categories: COMPUTERS / Programming / Games, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Grid Computing: Software Environments and Tools

Autoren: Omer F. Rana Jose Cardoso Cunha

Resource Type: eBook.

Schlagworte: Software engineering, Computer networks, Application software

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Networking / General

Parallel Computing Technologies : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Autoren: Victor Malyshkin

Resource Type: eBook.

Schlagworte: Computer programming, Computer systems, Software engineering, Computer engineering, Computer networks, Computer science, Algorithms

Categories: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Hardware / General

Computational Science — ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003, Proceedings, Part IV

Autoren: Peter M.A. Sloot David Abramson Alexander V. Bogdanov et al.

Resource Type: eBook.

Schlagworte: Computer science, Computer programming, Computer engineering, Computer networks, Computer science—Mathematics, Image processing—Digital techniques, Computer vision

Categories: COMPUTERS / Computer Science, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoren: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

Network Design: Connectivity and Facilities Location

Autoren: Panos M. Pardalos Dingzhu Du

Resource Type: eBook.

Schlagworte: Network analysis (Planning)--Congresses, Combinatorial analysis--Congresses, Combinatorial optimization--Congresses

Categories: MATHEMATICS / Applied, MATHEMATICS / Mathematical Analysis

ECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August - 2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)

Autoren: Kaminka, Gal A. IOS Press

Resource Type: eBook.

Schlagworte: Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoren: Tracie Moy

Resource Type: eBook.

Schlagworte: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Categories: SCIENCE / History

Stochastic Optimization

Autoren: Stanislav Uryasev Panos M. Pardalos

Resource Type: eBook.

Schlagworte: Industrial engineering, Production engineering, Control engineering, Mathematical optimization, Calculus of variations, Operations research, Finance, Mathematical models

Categories: TECHNOLOGY & ENGINEERING / Industrial Engineering, BUSINESS & ECONOMICS / Finance / General, BUSINESS & ECONOMICS / Operations Research, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Electrical, MATHEMATICS / Optimization

Materials Processing Technology II

Autoren: Lian Cheng Zhao Hao Wei Wang Chang Fa Xiao

Resource Type: eBook.

Schlagworte: Materials--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Computational Science -- ICCS 2005 : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II

Autoren: V.S. Sunderam G. Dick van Albada Peter M.A. Sloot et al.

Resource Type: eBook.

Schlagworte: Computer science, Software engineering, Numerical analysis, Computer networks, Computer simulation, Image processing—Digital techniques, Computer vision

Categories: COMPUTERS / Computer Science, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation, MATHEMATICS / Numerical Analysis

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoren: Kalte, Pamela M. Nemeh, Katherine H. Schusterbauer, Noah

Resource Type: eBook.

Schlagworte: Scientists--United States--Biography, Scientists--Canada--Biography, Scientists--United States--Directories, Scientists--Canada--Directories, Science

Computational Science — ICCS 2004 : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III

Autoren: Marian Bubak Geert Dick van Albada Peter M.A. Sloot et al.

Resource Type: eBook.

Schlagworte: Computer science--Congresses, Computational complexity--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied, MATHEMATICS / Numerical Analysis

Computational Science — ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part II

Autoren: Peter M.A. Sloot C.J. Kenneth Tan Jack J. Dongarra et al.

Resource Type: eBook.

Schlagworte: Computer science, Software engineering, Computer science—Mathematics, Computer networks, Mathematics—Data processing, Mathematical physics

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, MATHEMATICS / Numerical Analysis

Creative Systems in Structural and Construction Engineering

Autoren: Amarjit Singh

Resource Type: eBook.

Schlagworte: TA630

Categories: TECHNOLOGY & ENGINEERING / Civil / General