Search Results - parallel java program verification functioning https

Search alternatives:
verification functioning » verification functional , verification monitoring , verification concretizing
program verification » formal verification
functioning https » functions https , function https , functioning autism
parallel java » parallel data , parallel scara , parallel a
java program » java programs , a program , java programming

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

Published 2013

Table of Contents: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
View full text

Electronic eBook

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
View full text

Electronic eBook

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 /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

Narrow Search