Search Results - programs measuring https function java https

1

by Daggett, Mark E., Daggett, Mark E.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Java Methods for Financial Engineering Applications in Finance and Investment /

by Barker, Philip., Barker, Philip.
Published 2007

Table of Contents: “... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
View full text

Electronic eBook

3

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...

Published 2007

Table of Contents: “...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”
View full text

Electronic eBook

4

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

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

6

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...

Published 2010

Table of Contents: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
View full text

Electronic eBook

7

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 /

Published 2005

Table of Contents: “... Compensation for MPI Programs -- Network Bandwidth Measurements and Ratio Analysis with the HPC Challenge...”
View full text

Electronic eBook

8

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

10

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

Published 2010

Table of Contents: “... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”
View full text

Electronic eBook

11

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
View full text

Electronic eBook

12

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

Published 2007

Table of Contents: “... IEEE1394 -- Efficient Measurement of the Eye Blinking by Using Decision Function for Intelligent...”
View full text

Electronic eBook

13

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

Published 2006

Table of Contents: “... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”
View full text

Electronic eBook

14

Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Proceedings /

Published 2010

Table of Contents: “... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”
View full text

Electronic eBook

15

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”
View full text

Electronic eBook

16

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

Published 2007

Table of Contents: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
View full text

Electronic eBook

17

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 /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

18

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”
View full text

Electronic eBook

19

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

Published 2006

Table of Contents: “... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”
View full text

Electronic eBook

20

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”
View full text

Electronic eBook

Narrow Search