Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing execution » processing executives, process execution, processing education
computer processing » computer programming
function computer » functions computer, functional computer, function computing
execution java » execution data, execution a, execution jpf
https » http
processing execution » processing executives, process execution, processing education
computer processing » computer programming
function computer » functions computer, functional computer, function computing
execution java » execution data, execution a, execution jpf
https » http
1
Table of Contents:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”View full text
Electronic
eBook
3
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Generation Network -- Query Processing to Efficient Search in Ubiquitous Computing -- Service and Management...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Sensor Networks: Case Analysis of Mica2 -- Energy-Driven Partitioning of Signal Processing Algorithms...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Middleware Architecture for eBusiness Process Execution -- Experience with Lightweight Distributed Component...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”View full text
Electronic
eBook
15
by Baker, Paul., Baker, Paul., Dai, Zhen Ru., Grabowski, Jens., Schieferdecker, Ina., Williams, Clay.
Published 2008
Table of Contents:
“...Foundations -- Model-Based Testing -- Basics -- Library Example Introduction -- Functional Testing...”Published 2008
View full text
Electronic
eBook
16
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
17
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook



