Encyclopedia of Parallel Computing

Encyclopedia of Parallel Computing

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals and researchers seeking access to any aspect within the broad field of parallel computing. Topics for this comprehensive reference were selec...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Padua, David (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2011.
Θέματα:	Computer science. Microprocessors. Special purpose computers. Computer system failures. Software engineering. Programming languages (Electronic computers). Computer Science. Programming Languages, Compilers, Interpreters. Processor Architectures. System Performance and Evaluation. Special Purpose and Application-Based Systems. Software Engineering/Programming and Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Έκδοση: (2012)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
Έκδοση: (2013)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Έκδοση: (2017)

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings /
Έκδοση: (2013)

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings /
Έκδοση: (2012)

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
Έκδοση: (2017)

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
Έκδοση: (2006)

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
Έκδοση: (2009)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
Έκδοση: (2010)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /
Έκδοση: (2006)

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 /
Έκδοση: (2009)

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings /
Έκδοση: (2013)

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
Έκδοση: (2008)

Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ανά: Verma, Manish, κ.ά.
Έκδοση: (2007)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
Έκδοση: (2008)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /
Έκδοση: (2006)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers /
Έκδοση: (2005)

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
Έκδοση: (2007)

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
Έκδοση: (2006)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers /
Έκδοση: (2009)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
Έκδοση: (2006)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Έκδοση: (2010)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Έκδοση: (2014)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
Έκδοση: (2005)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Έκδοση: (2007)

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Έκδοση: (2013)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
Έκδοση: (2005)

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings /
Έκδοση: (2009)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Έκδοση: (2007)

Network Performance Analysis Using the J Programming Language /
ανά: Holt, Alan
Έκδοση: (2008)

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
Έκδοση: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
Έκδοση: (2008)

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications /
ανά: Buttazzo, Giorgio C.
Έκδοση: (2011)

Embedded Systems Design The ARTIST Roadmap for Research and Development /
ανά: Bouyssounouse, Bruno, κ.ά.
Έκδοση: (2005)

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings /
Έκδοση: (2007)

Event-Triggered and Time-Triggered Control Paradigms
ανά: Obermaisser, Roman
Έκδοση: (2005)

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