Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
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 paper...
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings / edited by João M. Lourenço, Eitan Farchi. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 8063 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
Sujets : | |
Documents associés : | Autre format:
Multicore Software Engineering, Performance, and Tools Autre format: Multicore Software Engineering, Performance, and Tools |
LEADER | 04712clm a2200721 4500 | ||
---|---|---|---|
001 | PPN172428793 | ||
003 | http://www.sudoc.fr/172428793 | ||
005 | 20241001155400.0 | ||
010 | |a 978-3-642-39955-8 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-39955-8 |2 DOI |
035 | |a (OCoLC)868198014 | ||
035 | |a Springer978-3-642-39955-8 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-39955-8 | ||
035 | |a Springer-11645-978-3-642-39955-8 | ||
100 | |a 20131018d2013 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 100yy | ||
106 | |a s | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Multicore Software Engineering, Performance, and Tools |e International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings |f edited by João M. Lourenço, Eitan Farchi. | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2013 | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 8063 | |
330 | |a 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. | ||
359 | 1 | |a Performance Analysis and Algorithms -- Self-timed Scheduling and Execution of Nonlinear Pipelines with Parallel Stages -- MVA-based Probabilistic Model of Shared Memory with Round Robin Arbiter for Predicting Performance With Heterogeneous -- Workload -- MHS2 : A Map-Reduce heuristic-driven minimal hitting set search algorithm -- Programming Models and Optimization -- Handling Parallelism in a Concurrency Model -- On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories -- How to Cancel a Task -- Testing and Debugging -- Automatically Repairing Concurrency Bugs with ARC -- A Modular Approach to Model-Based Testing of Concurrent Programs -- A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. | |
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 8063 | |
452 | | | |t Multicore Software Engineering, Performance, and Tools |y 9783642399541 | |
452 | | | |t Multicore Software Engineering, Performance, and Tools |y 9783642399565 | |
608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Programming Languages, Compilers, Interpreters | |
610 | 2 | |a Special Purpose and Application-Based Systems | |
610 | 2 | |a System Performance and Evaluation | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Operating Systems | |
610 | 2 | |a Programming Techniques | |
610 | 2 | |a Compilers and Interpreters | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 004.6 |v 23 | ||
680 | |a TK7874.6 | ||
701 | 1 | |a Lourenço |b João M. |4 651 | |
701 | 1 | |a Lourenço |b João M. |4 651 | |
701 | 1 | |a Farchi |b Eitan |4 651 | |
801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-39955-8 |z Accès sur la plateforme de l'éditeur | |
856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZNPMXQJ9-L |z Accès sur la plateforme Istex | |
856 | 4 | |5 441099901:830860789 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-39955-8 | |
915 | |5 441099901:830860789 |b SPRING13-01059 | ||
930 | |5 441099901:830860789 |b 441099901 |j g | ||
991 | |5 441099901:830860789 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:16 | ||
997 | |a NUM |b SPRING13-01059 |d NUMpivo |e EM |s d | ||
998 | |a 978904 |