Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings /

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Cavalheiro, Simone (Επιμελητής έκδοσης), Fiadeiro, José (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	Lecture Notes in Computer Science, 10623
Θέματα:	Computer science. Computer system failures. Software engineering. Computers. Computer simulation. Computer Science. Software Engineering. Theory of Computation. Simulation and Modeling. The Computing Profession. System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Έκδοση: (2017)

Combinatorial Testing in Cloud Computing
ανά: Tsai, Wei-Tek, κ.ά.
Έκδοση: (2017)

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings /
Έκδοση: (2017)

Model-Based Software Performance Analysis
ανά: Cortellessa, Vittorio, κ.ά.
Έκδοση: (2011)

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Έκδοση: (2017)

Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
Έκδοση: (2009)

Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers /
Έκδοση: (2011)

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
Έκδοση: (2013)

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers /
Έκδοση: (2013)

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
Έκδοση: (2016)

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers /
Έκδοση: (2012)

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
Έκδοση: (2017)

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
Έκδοση: (2016)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Έκδοση: (2014)

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Έκδοση: (2017)

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings /
Έκδοση: (2017)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings /
Έκδοση: (2011)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
Έκδοση: (2011)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
Έκδοση: (2004)

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings /
Έκδοση: (2017)

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
Έκδοση: (2015)

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Έκδοση: (2017)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /
Έκδοση: (2013)

Software Process Modeling
Έκδοση: (2005)

A Software Process Model Handbook for Incorporating People’s Capabilities
ανά: Acuña, Silvia Teresita, κ.ά.
Έκδοση: (2005)

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Έκδοση: (2017)

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
Έκδοση: (2016)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
Έκδοση: (2014)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings /
Έκδοση: (2012)

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
Έκδοση: (2016)

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers /
Έκδοση: (2014)

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Έκδοση: (2017)

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /
Έκδοση: (2012)

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 /
Έκδοση: (2007)

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 /
Έκδοση: (2005)

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006 /
Έκδοση: (2006)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers /
Έκδοση: (2015)

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
Έκδοση: (2008)

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings /
Έκδοση: (2016)

Improvements in System Safety
Έκδοση: (2008)

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