Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs evaluation » program evaluation, programs education, projects evaluation
evaluation https » education https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs evaluation » program evaluation, programs education, projects evaluation
evaluation https » education https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
by Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Published 2007
Table of Contents:
“...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...”Published 2007
View full text
Electronic
eBook
2
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”View full text
Electronic
eBook
4
Table of Contents:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Agile Methods to Implement a Laboratory for Software Product Quality Evaluation -- Software Metrics...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... 2009 -- Preface -- JavaGAT Adaptor for UNICORE 6 – Development and Evaluation in the Project AeroGrid...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
18
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
19
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
20
Published 2006
Table of Contents:
“... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”View full text
Electronic
eBook