檢索結果 - parallel java tools function functions https

1

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...”
獲取全文

電子電子書

2

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

出版 2005

書本目錄: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
獲取全文

電子電子書

3

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

出版 2008

書本目錄: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
獲取全文

電子電子書

4

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

出版 2013

書本目錄: “...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...”
獲取全文

電子電子書

5

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

出版 2008

書本目錄: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
獲取全文

電子電子書

6

Handbook of Data Visualization

出版 2008

書本目錄: “... -- Visualizing Functional Data with an Application to eBay’s Online Auctions -- Visualization Tools for Insurance...”
獲取全文

電子電子書

7

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
獲取全文

電子電子書

8

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

9

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...”
獲取全文

電子電子書

10

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

出版 2007

書本目錄: “... Synchronization Framework -- A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems...”
獲取全文

電子電子書

11

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

出版 2005

書本目錄: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
獲取全文

電子電子書

12

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

出版 2005

書本目錄: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
獲取全文

電子電子書

13

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...”
獲取全文

電子電子書

14

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...”
獲取全文

電子電子書

15

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...”
獲取全文

電子電子書

16

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

書本目錄: “... Prototyping by Using JavaBean Interface Tool and SystemC Engine -- Configurable Virtual Platform Environment...”
獲取全文

電子電子書

17

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...”
獲取全文

電子電子書

18

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

出版 2014

書本目錄: “... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”
獲取全文

電子電子書

19

Beginning Haskell A Project-Based Approach /

由 Serrano Mena, Alejandro., Serrano Mena, Alejandro.
出版 2014

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

縮小搜索