Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing functionality » processing functional, protein functionality, properties functionality
functionality maps » functionality pt, functionality needs, functionality based
java processing » data processing, data processings, data processsing
program java » program jarak, program a, program jom
https » http
processing functionality » processing functional, protein functionality, properties functionality
functionality maps » functionality pt, functionality needs, functionality based
java processing » data processing, data processings, data processsing
program java » program jarak, program a, program jom
https » http
1
2
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- Coinductive Properties of Causal Maps -- Extending Timed Process Algebra with Discrete Stochastic Time -- Vx86...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...-organized Computability, and Complex Data Mining -- Regular Papers -- Improving Angle Based Mappings...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... and Programming Model -- Multi-processor Architectures -- Mapping and Performance Evaluation for Heterogeneous MP...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”View full text
Electronic
eBook



