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