1
Publicado 2007
Table of Contents: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... On-the-Fly State Space Exploration Using GPUs -- Forward Reachability Computation for Autonomous Max-Plus...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... -- State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method...
Ligazón do recurso
Electrónico eBook
6
Publicado 2007
Table of Contents: ... Spaces of Flexible Protein Loops -- Algorithms for the Extraction of Synteny Blocks from Comparative Maps...
Ligazón do recurso
Electrónico eBook
7
Publicado 2014
Table of Contents: ... Culture and Community into HIV Prevention Programs for African-American Girls -- 8. Dynamics of Niche...
Ligazón do recurso
Electrónico eBook