Search alternatives:
processing system » processing systems, processing series
system program » systems program, system programming
program https » programs https, program has, program help
1
Published 2010
Table of Contents: ... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Reconfigurable Array Architectures -- Multi-core Systems on Chip -- DSP Systems using Three-Dimensional (3D...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Transmission Systems: Lessons for SKA -- Array Signal Processing for Radio Astronomy -- Ska Correlator Advances...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ...Concurrent Systems: Hybrid Object Implementations and Abortable Objects -- Runtime-Aware...
View full text
Electronic eBook
6
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Prices -- A Genetic Programming Approach to Deriving the Spectral Sensitivity of an Optical System -- A...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
View full text
Electronic eBook
10
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... New Product Design Process – Combining the System Model and VRTC -- The Study of Permanent Magnetic...
View full text
Electronic eBook
14
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...
View full text
Electronic eBook
19
Table of Contents: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... -- Application of Real-time Image Mosaics for Video Processing System....
View full text
Electronic eBook