1
Veröffentlicht 2005
Inhaltsangabe: ...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Volltext
Elektronisch E-Book
3
von Brooks, David R., Brooks, David R.
Veröffentlicht 2011
Inhaltsangabe: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2005
Inhaltsangabe: ... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2015
Inhaltsangabe: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2010
Inhaltsangabe: ... Extensions of LPF Table: The Power of Suffix Arrays -- Query Optimization through Cached Queries for Object...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2013
Inhaltsangabe: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2006
Inhaltsangabe: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Volltext
Elektronisch E-Book
9
von Cerami, Ethan., Cerami, Ethan.
Veröffentlicht 2005
Schlagworte: ...Programming languages (Electronic computers)....
Volltext
Elektronisch E-Book
10
Veröffentlicht 2007
Inhaltsangabe: ...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...
Volltext
Elektronisch E-Book
12
von Spear, Chris., Spear, Chris.
Veröffentlicht 2008
Inhaltsangabe: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... Construction -- From Microarray to Biology -- Modeling and Reconstruction -- Computational Procedures for Model...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2008
Inhaltsangabe: ...Tectonic Framework and Geodynamics of the South Balkan Region -- Patterns of Cenozoic Extensional...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2001
Inhaltsangabe: ... Mutation Detection by Temperature-Programmed Capillary Electrophoresis -- Single-Nucleotide Primer...
Volltext
Elektronisch E-Book