Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compilation » program composition, program computational, program comparison
https functionality » its functionality, bags functionality, cross functionality
functionality maps » functionality pt, functionality needs, functionality based
compilation https » computation https, complications https, communication https
program compilation » program composition, program computational, program comparison
https functionality » its functionality, bags functionality, cross functionality
functionality maps » functionality pt, functionality needs, functionality based
compilation https » computation https, complications https, communication https
1
Table of Contents:
“... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... in Applications Mapped to Configurable Architectures -- Generation of Control and Data Flow Graphs from Scheduled...”View full text
Electronic
eBook
4
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
7
Table of Contents:
“... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”View full text
Electronic
eBook
9
Table of Contents:
“... Areas -- Bibliography -- General Index -- R Function and Parameter Index -- R Package Index -- R Class...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Lists in RSL -- Maps in RSL -- Higher-Order Functions in RSL -- Specification Types -- Types in RSL...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Applications Evolution -- Automated Co-evolution of Conceptual Models, Physical Databases, and Mappings -- A...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”View full text
Electronic
eBook