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