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