1
Published 2008
Table of Contents: ...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
View full text
Electronic eBook