Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computation » program computational, program compilation, programs competition
computation https » computing https
https function » its function, sites function, ups function
function usage » function using
usage https » dosage https, use https, change https
program computation » program computational, program compilation, programs competition
computation https » computing https
https function » its function, sites function, ups function
function usage » function using
usage https » dosage https, use https, change https
1
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”View full text
Electronic
eBook
3
Table of Contents:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... of Timed Automata -- Iterator Types -- Types and Effects for Resource Usage Analysis -- The Complexity...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”View full text
Electronic
eBook
9
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...
Published 2010
Table of Contents:
“...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”View full text
Electronic
eBook
12
Table of Contents:
“... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...”View full text
Electronic
eBook
19
Published 2011
Table of Contents:
“... Media Service in cloud computing -- Compiler-assisted Maximum Stack Usage Measurement Technique...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”View full text
Electronic
eBook