Søgeresultater - program method programs evaluation java https

1

Java Methods for Financial Engineering Applications in Finance and Investment /

af Barker, Philip., Barker, Philip.
Udgivet 2007

Indholdsfortegnelse: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2012

Indholdsfortegnelse: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

4

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a...”
Få fuldtekst

Electronisk eBog

5

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... Agile Methods to Implement a Laboratory for Software Product Quality Evaluation -- Software Metrics...”
Få fuldtekst

Electronisk eBog

6

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE...

Udgivet 2010

Indholdsfortegnelse: “...Evaluation of Novel Approaches to Software Engineering 2008 -- Measuring Characteristics of Models...”
Få fuldtekst

Electronisk eBog

7

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

8

Transactions on Aspect-Oriented Software Development XI

Udgivet 2014

Indholdsfortegnelse: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2010

Indholdsfortegnelse: “... Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy...”
Få fuldtekst

Electronisk eBog

10

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Få fuldtekst

Electronisk eBog

11

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”
Få fuldtekst

Electronisk eBog

12

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”
Få fuldtekst

Electronisk eBog

13

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 /

Udgivet 2005

Indholdsfortegnelse: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Få fuldtekst

Electronisk eBog

14

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...”
Få fuldtekst

Electronisk eBog

15

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Softw...

Udgivet 2005

Indholdsfortegnelse: “... of Component-Based Dependable Distributed Systems -- Empirical Evaluation of Model-Based Performance Prediction...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Få fuldtekst

Electronisk eBog

17

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
Få fuldtekst

Electronisk eBog

18

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Få fuldtekst

Electronisk eBog

19

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2010

Indholdsfortegnelse: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning