Resultados da pesquisa - space exploring programming program constructs loops

Pesquisas alternativas:
exploring programming » evaluating programming , planning programming
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
constructs loops » constructs lists , constructs coders , constructs core
space exploring » space exploration

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Publicado em 2007

Sumário: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Publicado em 2014

Sumário: “... On-the-Fly State Space Exploration Using GPUs -- Forward Reachability Computation for Autonomous Max-Plus...”
Obter o texto integral

Recurso Electrónico livro electrónico

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Publicado em 2013

Sumário: “...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”
Obter o texto integral

Recurso Electrónico livro electrónico

Languages and Compilers for Parallel Computing 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers /

Publicado em 2008

Sumário: “... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”
Obter o texto integral

Recurso Electrónico livro electrónico

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method...”
Obter o texto integral

Recurso Electrónico livro electrónico

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Publicado em 2007

Sumário: “... Spaces of Flexible Protein Loops -- Algorithms for the Extraction of Synteny Blocks from Comparative Maps...”
Obter o texto integral

Recurso Electrónico livro electrónico

New Frontiers of Multidisciplinary Research in STEAM-H (Science, Technology, Engineering, Agriculture, Mathematics, and Health)

Publicado em 2014

Sumário: “... Culture and Community into HIV Prevention Programs for African-American Girls -- 8. Dynamics of Niche...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa