Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
evaluation java » evaluation jane, evaluation janne, evaluation j
https » http
function computing » education computing, generation computing
computing program » comparing programs, computing progress, computer program
evaluation java » evaluation jane, evaluation janne, evaluation j
https » http
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
3
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
4
Published 2012
Table of Contents:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”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 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
9
Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...
Published 2014
Table of Contents:
“... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Memory -- Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems -- Hybrid Functional...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Computing for High-Security/High-Performance Ambient Systems -- FPL-3E: Towards Language Support...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook
19
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
20
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook