Resultats de la cerca - program flat programs https array https

Alternatives de cerca:
flat programs » blast programs , flow programs , what programs
program flat » program flow , program late , program fast
https » http

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicat 2014

Taula de continguts: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Obtenir text complet

Electrònic eBook

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicat 2014

Taula de continguts: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Obtenir text complet

Electrònic eBook

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Analysis of Parallel 3D FFT for Flat Cartesian Meshes on Large Blue Gene Systems -- Scalable Multi-cores...”
Obtenir text complet

Electrònic eBook

Refinar cerca