This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in Jul...Loe edasi...
Per Stenström, Cristina Silvano, Koen Bertels, Michael Schulte
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 12-Mar-2019, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662588338)
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general...Loe edasi...
This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised...Loe edasi...
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming L...Loe edasi...
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and se...Loe edasi...
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada. The 8 full papers toget...Loe edasi...
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and founda...Loe edasi...
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully revie...Loe edasi...
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 subm...Loe edasi...
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 3...Loe edasi...
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 14-Sep-2015, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662482872)
This book constitutes the proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions....Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 09-Apr-2015, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662466629)
This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015.The 11...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 11-Mar-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642548062)
This book constitutes the proceedings of the 23rd International Conference on Compiler Construction, CC 2014, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, Franc...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642360350)
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011, held in Fort Collins, CO, USA, in September 2011. The 19 revised full papers pr...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 20-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642370502)
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 201...Loe edasi...
Sari: Transactions on High-Performance Embedded Architectures and Compilers
(Ilmumisaeg: 22-Nov-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642245671)
This 4th issue of Transactions on High-Performance Embedded Architectures and Compilers presents 21 papers in four sections, all original research on HiPEAC systems targeted at specific computing tasks, as well as systems with broad application bases...Loe edasi...
(Ilmumisaeg: 14-Mar-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642286513)
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March...Loe edasi...
Sari: Transactions on High-Performance Embedded Architectures and Compilers
(Ilmumisaeg: 23-Feb-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642194474)
Transactions on HiPEAC collects 14 research papers in computer architecture and compilation methods for high-performance embedded computer systems, from conferences including HiPEAC 2008, the 8th MEDEA Workshop, 2007 and the first MULTIPROG, 2008....Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 22-Mar-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642198601)
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March 26April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice...Loe edasi...
