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