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