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