1
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
2
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
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