1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
11
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity -- Modelling...
View full text
Electronic eBook
15
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
17
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
18
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
View full text
Electronic eBook