1
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
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: ...Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook