1
Publicat 2007
Taula de continguts: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Obtenir text complet
Electrònic eBook
6
Matèries: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obtenir text complet
Electrònic eBook
7
Publicat 2008
Taula de continguts: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Obtenir text complet
Electrònic eBook
8
Publicat 2005
Taula de continguts: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Obtenir text complet
Electrònic eBook
9
Taula de continguts: ...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...
Obtenir text complet
Electrònic eBook
10
Matèries: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Obtenir text complet
Electrònic eBook
11
Publicat 2015
Taula de continguts: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
Obtenir text complet
Electrònic eBook
12
Publicat 2006
Taula de continguts: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Obtenir text complet
Electrònic eBook
13
Publicat 2013
Taula de continguts: ...-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging...
Obtenir text complet
Electrònic eBook
14
Publicat 2005
Taula de continguts: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ... Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...
Obtenir text complet
Electrònic eBook
17
Publicat 2008
Taula de continguts: ... Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living -- Automatic...
Obtenir text complet
Electrònic eBook
18
Publicat 2015
Taula de continguts: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... Network (CAN) -- A Data-Driven Approach for Executing the CG Method on Reconfigurable High-Performance...
Obtenir text complet
Electrònic eBook
20
Publicat 2013
Taula de continguts: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Obtenir text complet
Electrònic eBook