نتائج البحث - parallel java programming validation function https*

بدائل البحث:
programming validation » programming validating , programming evaluation , programming animation
validation function » validation functional , validation fraction , validation selection
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...

منشور في 2014

جدول المحتويات: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2008

جدول المحتويات: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2008

جدول المحتويات: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2013

جدول المحتويات: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2006

جدول المحتويات: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2007

جدول المحتويات: “... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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 /

منشور في 2007

جدول المحتويات: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث