Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs why » program why, programs what, programs when
why function » way function, why functional, body function
parallel programs » parallel programming
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
programs why » program why, programs what, programs when
why function » way function, why functional, body function
1
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”View full text
Electronic
eBook
6
Table of Contents:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
View full text
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Towards Domain Independent Why Text Segment Classification Based on Bag of Function Words -- Knowledge...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...”View full text
Electronic
eBook