Cover Image
Read Now

1
Published 2023
Springer International Publishing
“...This book presents novel approaches to the formal specification of concurrent and parallel systems...”
Cover Image
Read Now

2
by Malitsky, Yuri
Published 2014
Springer International Publishing
Table of Contents: “...Introduction -- Survey of Related Work -- Architecture of Instance-Specific Algorithm Configuration...”
Cover Image
Read Now

3
Published 2018
Springer International Publishing
“..., Algebraic Specification, and Category Theory in Computer Science...”
Cover Image
Read Now

4
by Nicolescu, G., Jerraya, Ahmed A.
Published 2007
Springer Netherlands
“... and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding...”
Cover Image
Read Now

5
Published 2008
Springer Netherlands
Table of Contents: “... Architecture -- Analog, Mixed-Signal, and Heterogeneous System Design -- Heterogeneous Specification with HetSC...”
Cover Image
Read Now

6
by Kejriwal, Mayank
Published 2019
Springer International Publishing
“... community if extracted robustly, efficiently and semi-automatically as knowledge graphs. Domain-specific...”
Cover Image
Read Now

8
by Gumzej, Roman
Published 2016
Springer International Publishing
Table of Contents: “...Introduction -- Specification PEARL Language -- Specification PEARL Methodology -- UML 2 Profile...”
Cover Image
Read Now

9
by Parvez, Husain, Mehrez, Habib
Published 2011
Springer New York
Table of Contents: “...Introduction -- State of the Art -- FPGA Layout Generation -- ASIF: Application Specific Inflexible...”
Cover Image
Read Now

10
by Ray, Sandip, Basak, Abhishek, Bhunia, Swarup
Published 2019
Springer International Publishing
“...This book offers readers comprehensive coverage of security policy specification using new policy...”
Cover Image
Read Now

11
by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017
Springer International Publishing
“... close the gap between initial textual specification and its desired implementation. The authors enable...”
Cover Image
Read Now

12
by Singh, Gaurav, Shukla, Sandeep Kumar
Published 2010
Springer New York
“...Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep K...”
Cover Image
Read Now

13
Published 2010
Springer Netherlands
Table of Contents: “... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”
Cover Image
Read Now

14
by Buffa, Cesare
Published 2018
Springer International Publishing
Table of Contents: “...Introduction -- From specifications to concept -- Lorentz force magnetometers -- System design...”
Cover Image
Read Now

15 “... subsystem is presented from standard specification, algorithmic description, design considerations, timing...”
Cover Image
Read Now

16
by Farooq, Umer, Marrakchi, Zied, Mehrez, Habib
Published 2012
Springer New York
Table of Contents: “... Environments -- Heterogeneous Architectures Exploration Environments -- Tree-based Application Specific...”
Cover Image
Read Now

18
by Kraiczy, Nils
Published 2013
Springer Fachmedien Wiesbaden
“... on innovations interacting with family firm-specific characteristics. The author shows the complexity of family...”
Cover Image
Read Now

19
by Cervenka, Radovan, Trencansky, Ivan
Published 2007
Birkhäuser
Table of Contents: “... -- Related Work -- AML Specification -- Extensions to Standard UML Notation -- Organization of the AML...”
Cover Image
Read Now

20
Published 2014
Springer International Publishing
Table of Contents: “... Properties in A CEGAR Process -- Formal Specification Level -- Power Estimation Methodology for SystemC...”