תוצאות חיפוש - parallel processes properties functionality java https

אפשרויות חיפוש:
properties functionality » protein functionality
processes properties » processing properties , processes proceedings , principles properties
parallel processes » parallel processors , parallel processing
functionality java » functionality maps , functionality iv , functionality part
https » http

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

יצא לאור 2010

תוכן הענינים: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
קבל טקסט מלא

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

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

יצא לאור 2014

תוכן הענינים: “... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”
קבל טקסט מלא

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

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

יצא לאור 2013

תוכן הענינים: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
קבל טקסט מלא

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

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

יצא לאור 2015

תוכן הענינים: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
קבל טקסט מלא

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

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

יצא לאור 2014

תוכן הענינים: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
קבל טקסט מלא

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

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

תוכן הענינים: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
קבל טקסט מלא

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

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “... Small-World Properties in VANETs -- Impact of the Number of Beacons in PSO-Based Auto-localization...”
קבל טקסט מלא

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

צמצם חיפוש