Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
exploring programming » evaluating programming, planning programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
spaces exploring » space exploring, sciences exploring, services exploring
constructs loops » constructs lists, constructs coders, constructs core
exploring programming » evaluating programming, planning programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
spaces exploring » space exploring, sciences exploring, services exploring
constructs loops » constructs lists, constructs coders, constructs core
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