Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /

The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Raynal, Michel (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Θέματα:	Computer science. Computer hardware. Computer organization. Software engineering. Computers. Computer Science. Theory of Computation. Computer Systems Organization and Communication Networks. Software Engineering/Programming and Operating Systems. Computer Hardware.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems /
ανά: Biedermann, Alexander
Έκδοση: (2014)

Building Arduino Projects for the Internet of Things Experiments with Real-World Applications /
ανά: Javed, Adeel
Έκδοση: (2016)

System Architecture An Ordinary Engineering Discipline /
ανά: Paul, Wolfgang J., κ.ά.
Έκδοση: (2016)

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Έκδοση: (2017)

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings /
Έκδοση: (2017)

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications /
Έκδοση: (2007)

Fine- and Coarse-Grain Reconfigurable Computing
Έκδοση: (2007)

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /
Έκδοση: (2017)

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers /
Έκδοση: (2013)

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings /
Έκδοση: (2005)

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Έκδοση: (2007)

Distributed Algorithms for Message-Passing Systems
ανά: Raynal, Michel
Έκδοση: (2013)

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
ανά: Herdt, Vladimir
Έκδοση: (2016)

Virtual Machines
ανά: Craig, Iain D.
Έκδοση: (2006)

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business /
Έκδοση: (2006)

High Performance Computing Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings /
Έκδοση: (2015)

VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers /
Έκδοση: (2015)

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
ανά: Roussos, George
Έκδοση: (2006)

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers /
Έκδοση: (2005)

Introduction to Assembly Language Programming For Pentium and RISC Processors /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers /
Έκδοση: (2013)

The Complete IS-IS Routing Protocol
ανά: Gredler, Hannes, κ.ά.
Έκδοση: (2005)

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers /
Έκδοση: (2005)

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /
Έκδοση: (2009)

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings /
Έκδοση: (2013)

Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings /
Έκδοση: (2014)

Cryptographic Hardware and Embedded Systems – CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings /
Έκδοση: (2017)

VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers /
Έκδοση: (2015)

Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings /
Έκδοση: (2009)

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers /
Έκδοση: (2012)

Become ITIL Foundation Certified in 7 Days Learning ITIL Made Simple with Real-life Examples /
ανά: Krishna Kaiser, Abhinav
Έκδοση: (2017)

Distributed and Parallel Systems In Focus: Desktop Grid Computing /
Έκδοση: (2008)

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /
Έκδοση: (2011)

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers /
Έκδοση: (2017)

Service Engineering European Research Results /
ανά: Dustdar, Schahram, κ.ά.
Έκδοση: (2011)

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers /
Έκδοση: (2016)

VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Έκδοση: (2017)

Coloured Petri Nets Modelling and Validation of Concurrent Systems /
ανά: Jensen, Kurt, κ.ά.
Έκδοση: (2009)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Έκδοση: (2008)

Introduction to Assembly Language Programming For Pentium and RISC Processors
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών