תוצאות חיפוש - parallel monitoring program functionals java https

אפשרויות חיפוש:
parallel monitoring » parameter monitoring , parental monitoring , partial monitoring
program functionals » programs functional , program functionality , problem functionals
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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש