Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They ar...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Liu, Shaoying (Επιμελητής έκδοσης), Duan, Zhenhua (Επιμελητής έκδοσης), Tian, Cong (Επιμελητής έκδοσης), Nagoya, Fumiko (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	Lecture Notes in Computer Science, 10189
Θέματα:	Computer science. Computer hardware. Computer organization. Software engineering. Computers. Computer Science. Software Engineering/Programming and Operating Systems. Theory of Computation. Computing Methodologies. Computer Systems Organization and Communication Networks. 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)

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

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations /
ανά: Raynal, Michel
Έκδοση: (2013)

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

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 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Έκδοση: (2007)

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

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

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

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

Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings /
Έκδοση: (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)

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

Journal of Universal Computer Science
Έκδοση: (2021)

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

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)

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)

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

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)

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

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

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)

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

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)

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /
Έκδοση: (2005)

History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers /
Έκδοση: (2016)

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

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

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
Έκδοση: (2016)

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

Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date /
Έκδοση: (2008)

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

Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
Έκδοση: (2015)

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

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France /
Έκδοση: (2005)

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

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

Co-design for System Acceleration A Quantitative Approach /
ανά: Nedjah, Nadia, κ.ά.
Έκδοση: (2007)

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Έκδοση: (2017)

Break-Glass Handling Exceptional Situations in Access Control /
ανά: Petritsch, Helmut
Έκδοση: (2014)

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