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
Published 2008
Table of Contents: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
View full text
Electronic eBook
5
Table of Contents: ... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...: The Case of MANTIC -- Hey! Ho! Let’s Go! Explanatory Music Recommendations with dbrec -- PossDL — A...
View full text
Electronic eBook