Resultados da pesquisa - parallel process properties functionality java https

Pesquisas alternativas:
properties functionality » protein functionality
process properties » processes properties , progress properties , processing properties
functionality java » functionality maps , functionality iv , functionality part
parallel process » parallel processes , parallel processing , parallel processors
https » http

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Obter o texto integral

Recurso Electrónico livro electrónico

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Publicado em 2014

Sumário: “... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”
Obter o texto integral

Recurso Electrónico livro electrónico

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado em 2013

Sumário: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Obter o texto integral

Recurso Electrónico livro electrónico

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Publicado em 2015

Sumário: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
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: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Obter o texto integral

Recurso Electrónico livro electrónico

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicado em 2007

Sumário: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
Obter o texto integral

Recurso Electrónico livro electrónico

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Publicado em 2013

Sumário: “... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa