Sökresultat - parallel processing programmed section java https

1

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Hämta fulltext

Elektronisk E-bok

2

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Hämta fulltext

Elektronisk E-bok

3

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicerad 2012

Innehållsförteckning: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Hämta fulltext

Elektronisk E-bok

4

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /

Publicerad 2008

Innehållsförteckning: “...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...”
Hämta fulltext

Elektronisk E-bok

5

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Publicerad 2013

Innehållsförteckning: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Hämta fulltext

Elektronisk E-bok

6

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Publicerad 2014

Innehållsförteckning: “... -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2013

Innehållsförteckning: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2014

Innehållsförteckning: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hämta fulltext

Elektronisk E-bok

9

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 /

Publicerad 2007

Innehållsförteckning: “... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen