Resultados da pesquisa - spaces evaluation programming programming constructs loops

Pesquisas alternativas:
programming programming » programming programmed , programming program
evaluation programming » evaluating programming , evolution programming , variation programming
programming constructs » programming concepts , programming contest
spaces evaluation » species evaluation , states evaluation , surfaces evaluation
constructs loops » constructs lists , constructs coders , constructs core

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... -- Evaluation and Reproducibility of Program Analysis (Track Introduction) -- SWEET – A Tool for WCET Flow...”
Obter o texto integral

Recurso Electrónico livro electrónico

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Publicado em 2008

Sumário: “... Standard Hardware Description Language -- Parameterised Indexed FOR-Loops in Genetic Programming...”
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: “... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”
Obter o texto integral

Recurso Electrónico livro electrónico

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Publicado em 2015

Sumário: “... in the analysis of footbridges -- Comparing closed loop control models and mass spring damper models for human...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings /

Publicado em 2006

Sumário: “... in Parallel Programs -- A Combined Technique of Non-uniform Loops -- Session 6: Ad Hoc Networks -- Neighbor...”
Obter o texto integral

Recurso Electrónico livro electrónico

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Publicado em 2014

Sumário: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings /

Publicado em 2006

Sumário: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Publicado em 2012

Sumário: “... Network -- Transient-Time Fractional-Space Trigonometry and Application -- Understanding Individual Play...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa