1
door Shankar, A. Udaya., Shankar, A. Udaya.
Gepubliceerd in 2013
Inhoudsopgave: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Volledige tekst
Elektronisch E-boek
2
door Lee, Kent D., Lee, Kent D.
Gepubliceerd in 2014
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2012
Inhoudsopgave: ... -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2008
Inhoudsopgave: ...Invited Talks -- Open, Extensible Object Models -- The Lively Kernel A Self-supporting System on a...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2008
Inhoudsopgave: ...CUDA-Lite: Reducing GPU Programming Complexity -- MCUDA: An Efficient Implementation of CUDA...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ...-Scale Nonlinear Programming for Multi-scenario Optimization -- On the Efficiency of Python for High...
Volledige tekst
Elektronisch E-boek
7
Inhoudsopgave: ...Structured Data and Knowledge in Model-based Engineering -- Learning Projection-based Reduced-order...
Open Access Book. Read online
Elektronisch E-boek
8
Gepubliceerd in 2006
Inhoudsopgave: ...Parallel Computing -- Parallel Programming Models Applicable to Cluster Computing and Beyond...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2008
Inhoudsopgave: ...Earthquakes: Simulations, Sources and Tsunamis -- Finite Fault Modeling in a Tsunami Warning Center...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... -- Mapping the NRC Dataflow Model to the Open Provenance Model -- Data Lineage Model for Taverna Workflows...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2015
Inhoudsopgave: ...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2005
Inhoudsopgave: ...Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific...
Volledige tekst
Elektronisch E-boek