نتائج البحث - parallel monitoring programs functionals java https

بدائل البحث:
programs functionals » programs functional , programming functionals , program functionality
parallel monitoring » parameter monitoring , parental monitoring , partial monitoring
monitoring programs » monitoring program , monitoring progress
functionals java » functionals a , functionals part , functionals _
https » http

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

منشور في 2006

جدول المحتويات: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
احصل على النص الكامل

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

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

منشور في 2010

جدول المحتويات: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
احصل على النص الكامل

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

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

منشور في 2010

جدول المحتويات: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
احصل على النص الكامل

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

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...”
احصل على النص الكامل

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

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

منشور في 2014

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

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

منشور في 2006

جدول المحتويات: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
احصل على النص الكامل

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

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

منشور في 2007

جدول المحتويات: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
احصل على النص الكامل

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

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...”
احصل على النص الكامل

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

تضييق البحث