1
Gepubliceerd in 2010
Inhoudsopgave: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2005
Inhoudsopgave: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2013
Inhoudsopgave: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2014
Inhoudsopgave: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2013
Inhoudsopgave: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2007
Inhoudsopgave: ... Processors -- Parallel Memory Architecture for TTA Processor -- A Linear Complexity Algorithm...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2006
Inhoudsopgave: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Volledige tekst
Elektronisch E-boek