1
Udgivet 2010
Indholdsfortegnelse: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Få fuldtekst
Electronisk eBog
2
Udgivet 2014
Indholdsfortegnelse: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ... Evolution Learned by Listening to Smalltalk -- The Web of Things: Extending the Web into the Real World...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Få fuldtekst
Electronisk eBog