Résultats de la recherche - parallel java programming validating function https*

Recherches alternatives:
programming validating » programming evaluating , programming writing , programming balancing
validating function » validation function , validation functional , validating rejection
java programming » c programming
function https » functions https , fiction https
parallel java » parallel data , parallel scara , parallel a

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

Publié 2014

Table des matières: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Accéder au texte intégral

Électronique eBook

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

Publié 2005

Table des matières: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Accéder au texte intégral

Électronique eBook

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

Publié 2008

Table des matières: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Accéder au texte intégral

Électronique eBook

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

Publié 2008

Table des matières: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Accéder au texte intégral

Électronique eBook

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

Publié 2013

Table des matières: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Accéder au texte intégral

Électronique eBook

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

Publié 2006

Table des matières: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Accéder au texte intégral

Électronique eBook

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publié 2005

Table des matières: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
Accéder au texte intégral

Électronique eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publié 2007

Table des matières: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
Accéder au texte intégral

Électronique 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 /

Publié 2007

Table des matières: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Accéder au texte intégral

Électronique eBook

Restreindre la recherche