1
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... of Oriented Matroids Using Satisfiability Solvers -- Flexible Object Hierarchies in Polymake -- A Presentation...
View full text
Electronic eBook
3
by Plattner, Hasso., Plattner, Hasso.
Published 2013
Table of Contents: ... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ...: unnecessary or essential?.-Characterizing Synthetic Biology through Its Novel and Enhanced Functionalities...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ... -- 4. MULTICUBE: Multi-Objective Design Space Exploration of Multi-Core Architectures -- 5. 2PARMA...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Generation.-Embarrassingly Parallel Search.-Multi-Objective Large Neighborhood Search -- Scheduling Optional...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Psychological Science of Globalization, A Global Community Psychology -- Transforming a limited social function...
View full text
Electronic eBook