Результаты поиска - parallel information programs function java https

Альтернативы поиска:
parallel information » partial information , manuel information
information programs » information programme , information problems , information products
programs function » programs functional , programme function , programs fiction
function java » function jane , function jason , function james
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...”
Полный текст

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

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

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

Оглавление: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Полный текст

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

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

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

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

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

Оглавление: “... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...”
Полный текст

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

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

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

Оглавление: “... Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach...”
Полный текст

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

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

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

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

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

Оглавление: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Полный текст

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

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

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

Оглавление: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Полный текст

Электронный ресурс 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Книга

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Книга

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

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

Оглавление: “... -- Workshop on Human and Information Space Symbiosis (IWHISS 2010) -- Information Privacy in Smart Office...”
Полный текст

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

Handbook of Data Visualization

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

Оглавление: “... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”
Полный текст

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

Advanced Techniques in Computing Sciences and Software Engineering

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

Оглавление: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Полный текст

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

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

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

Оглавление: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Полный текст

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

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