Výsledky vyhledávání - program simulation https functional java https

1

Advanced Topics in Java Core Concepts in Data Structures /

Autor Kalicharan, Noel., Kalicharan, Noel.
Vydáno 2014

Témata: “...Java (Computer program language)....”
Získat plný text

Elektronický zdroj E-kniha

2

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Vydáno 2007

Obsah: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Získat plný text

Elektronický zdroj E-kniha

3

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

Vydáno 2006

Obsah: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Získat plný text

Elektronický zdroj E-kniha

4

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

Vydáno 2007

Obsah: “... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”
Získat plný text

Elektronický zdroj E-kniha

5

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Vydáno 2005

Obsah: “... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”
Získat plný text

Elektronický zdroj E-kniha

6

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Vydáno 2006

Obsah: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
Získat plný text

Elektronický zdroj E-kniha

7

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

Vydáno 2014

Obsah: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Získat plný text

Elektronický zdroj E-kniha

8

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Vydáno 2005

Obsah: “... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”
Získat plný text

Elektronický zdroj E-kniha

9

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Vydáno 2010

Obsah: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Získat plný text

Elektronický zdroj E-kniha

10

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Vydáno 2008

Obsah: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Získat plný text

Elektronický zdroj E-kniha

11

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

Vydáno 2010

Obsah: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Získat plný text

Elektronický zdroj E-kniha

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Vydáno 2007

Obsah: “..., China -- Emergence of Social Rumor: Modeling, Analysis, and Simulations -- Emergence of Specialization...”
Získat plný text

Elektronický zdroj E-kniha

13

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Vydáno 2012

Obsah: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Získat plný text

Elektronický zdroj E-kniha

14

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Vydáno 2007

Obsah: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
Získat plný text

Elektronický zdroj E-kniha

15

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Vydáno 2010

Obsah: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Získat plný text

Elektronický zdroj E-kniha

16

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Získat plný text

Elektronický zdroj E-kniha

17

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

Vydáno 2010

Obsah: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Získat plný text

Elektronický zdroj E-kniha

18

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Vydáno 2008

Obsah: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Získat plný text

Elektronický zdroj E-kniha

19

Interactive Quantum Mechanics Quantum Experiments on the Computer /

Autor Brandt, Siegmund., Brandt, Siegmund., Dahmen, Hans Dieter., Stroh, T.
Vydáno 2011

Obsah: “... -- Hybridization -- Special Functions of Mathematical Physics -- Additional Material and Hints for the Solution...”
Získat plný text

Elektronický zdroj E-kniha

20

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání