検索結果 - parallel process programming functional java https

提案スペルによる検索:
programming functional » programming vocational , programs functional , programming foundations
process programming » processes programming , processing programming , processors programming
parallel process » parallel processes , parallel processing , parallel processors
functional java » foundational java , functional renal
https » http

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...”
全文の入手

電子媒体 eBook

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

出版事項 2010

目次: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
全文の入手

電子媒体 eBook

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

出版事項 2010

目次: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
全文の入手

電子媒体 eBook

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

著者: Sharan, Kishori., Sharan, Kishori.
出版事項 2014

主題: “...Java (Computer program language)....”
全文の入手

電子媒体 eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

出版事項 2005

目次: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
全文の入手

電子媒体 eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版事項 2005

目次: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
全文の入手

電子媒体 eBook

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

出版事項 2014

目次: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

出版事項 2008

目次: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

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...”
全文の入手

電子媒体 eBook

Handbook of Data Visualization

出版事項 2008

目次: “... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...”
全文の入手

電子媒体 eBook

Advanced Techniques in Computing Sciences and Software Engineering

出版事項 2010

目次: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
全文の入手

電子媒体 eBook

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

出版事項 2010

目次: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
全文の入手

電子媒体 eBook

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

出版事項 2006

目次: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
全文の入手

電子媒体 eBook

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

出版事項 2005

目次: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
全文の入手

電子媒体 eBook

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

出版事項 2008

目次: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
全文の入手

電子媒体 eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版事項 2007

目次: “... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...”
全文の入手

電子媒体 eBook

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

出版事項 2013

目次: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
全文の入手

電子媒体 eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

出版事項 2006

目次: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
全文の入手

電子媒体 eBook

絞込み検索