1
Published 2007
Table of Contents: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Parallel Applications on Large-Scale Systems -- Performance Debugging of Parallel Compression on Multicore...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
View full text
Electronic eBook
8
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
9
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
10
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... for Reconfigurable -- Towards Analytical Methods for FPGA Architecture Investigation -- Session 1: Architectures 1...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
13
Published 2006
Subjects: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Contextualized Knowledge Framework for Semantic Web -- Computational and Crowdsourcing Methods for Extracting...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Labeling -- Towards a Bank of Constituent Parse Trees for Polish -- Coverage-Based Methods...
View full text
Electronic eBook