1
Table of Contents: ...to Functional Verification -- Architecture Specification -- Architecture Specification...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....
View full text
Electronic eBook
3
Table of Contents: ...Image Models for Fractals -- Fractal Models for Image Synthesis – a Survey -- Iterated Function...
View full text
Electronic eBook
4
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... by Function -- Swarm-Based Computational Development -- Programmable and Self-Organized Processes in Plant...
View full text
Electronic eBook
6
Table of Contents: ... -- Formal Model for IEC 61499 Function Blocks -- Efficient Code Synthesis from Function Blocks...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
View full text
Electronic eBook
8
by Skubch, Hendrik., Skubch, Hendrik.
Published 2013
Table of Contents: ... Execution -- Behaviour Modelling....
View full text
Electronic eBook
9
Table of Contents: ... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... and Distribution Functions of Stably Stratified Turbulence -- Modeling mixing in two-dimensional turbulence...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Care -- Predicting the Benefit of Using CADe in Screening Mammography -- Modeling Breast Cancer...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Galerkin Technique -- Enumeration of the Real Zeros of the Mittag-Leffler Function E?(z), 1 Operators...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ...The Need for Standards -- Programmable Platform Characterization for System Level Performance...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Control Systems -- A Firmware Verification Tool for Programmable Logic Controllers -- Quantifying...
View full text
Electronic eBook
15
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... of Non-Local Programmes in Hong Kong: The Experience of the Open University of Hong Kong -- The Synergy...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
18
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... Tools for Stateless Components -- Persistent State -- Concurrent Execution -- The Other Non-functional...
View full text
Electronic eBook
19
20
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook