Rezultati - parallel java program checking functional https

Poišči alternative:
checking functional » detecting functional , emerging functional , linking functional
program checking » program choosing , program creating , property checking
functional https » functions https , function https , functional hop
parallel java » parallel data , parallel scara , parallel a
java program » java programs , a program , java programming

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Izdano 2013

Kazalo: “... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Polni tekst

Elektronski eKnjiga

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Izdano 2013

Kazalo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

Beginning Haskell A Project-Based Approach /

od Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Izdano 2014

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Izdano 2008

Kazalo: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Polni tekst

Elektronski eKnjiga

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Izdano 2008

Kazalo: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Polni tekst

Elektronski eKnjiga

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Izdano 2005

Kazalo: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Polni tekst

Elektronski eKnjiga

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 /

Izdano 2007

Kazalo: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje