Search alternatives:
program microprocessor » programming microprocessor, pentium microprocessor, core microprocessor
programs computer » programming computer, forms computer
java » jaya
1
by Ohri, A., Ohri, A.
Published 2014
Table of Contents: ...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...
View full text
Electronic eBook
3
Table of Contents: ... Conditioning and Conversion -- Energy Conversion - Power Supplies -- Energy Conversion - Motor Control -- Data...
View full text
Electronic eBook
4
Published 2015
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... of Programs -- Program Analysis and Verification II -- Data Structure Specifications via Local Equality Axioms...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Trees to Improve Program-Based and Profile-Based Static Branch Prediction -- Arithmetic Data Value...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Keynote Addresses -- Data Confidentiality in Collaborative Computing -- Productivity in High...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...1: Large Scale Computations -- Large Scale Simulations -- Development and Integration of Parallel...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...
View full text
Electronic eBook
11
by Streib, James T., Streib, James T.
Published 2011
Table of Contents: ...Variables, Registers, and Data Movement -- Input/Output -- Arithmetic Instructions -- Selection...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Programs for Path-Delay Faults in Microprocessors -- EvoIASP Contributions -- Evolutionary Object Detection...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Macro Data Flow Interpreter Exploiting Aspects -- Utilizing Heterogeneous Data Sources in Computational...
View full text
Electronic eBook