Результаты поиска - parallel java program control section https

Альтернативы поиска:
program control » program controls , programs control , progress control
control section » control functions , control solutions , control security
parallel java » parallel data , parallel scara , parallel a
section https » sedation https , fiction https , infection https
java program » java programs , a program , java programming

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

Опубликовано 2008

Оглавление: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Полный текст

Электронный ресурс eКнига

Aliasing in Object-Oriented Programming Types, Analysis and Verification /

Опубликовано 2013

Оглавление: “... Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability...”
Полный текст

Электронный ресурс eКнига

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2012

Оглавление: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
Полный текст

Электронный ресурс eКнига

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2014

Оглавление: “... of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java...”
Полный текст

Электронный ресурс eКнига

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...

Опубликовано 2014

Оглавление: “... -- Improving the Performance of X10 Programs by Clock Removal -- Taming Control Divergence in GPUs through...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска