Αποτελέσματα αναζήτησης - parallel java process properties functionality https

Εναλλακτικές αναζητήσεις:
properties functionality » protein functionality
functionality https » functionality maps , functionality needs , functionality pt
process properties » processes properties , progress properties , processing properties
parallel java » parallel data , parallel scara , parallel a
java process » java processor , data process , phva process

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης