1
منشور في 2003
جدول المحتويات: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2012
جدول المحتويات: ... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2007
جدول المحتويات: ... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2008
جدول المحتويات: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2007
جدول المحتويات: ...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2010
جدول المحتويات: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2013
جدول المحتويات: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2008
جدول المحتويات: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2013
جدول المحتويات: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2008
جدول المحتويات: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2007
جدول المحتويات: ... Product Design Systems -- Automated Testing for Knowledge Based Systems -- Building Maintainable Knowledge...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
بواسطة Serrano Mena, Alejandro., Serrano Mena, Alejandro.
منشور في 2014
الموضوعات: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2005
جدول المحتويات: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2006
جدول المحتويات: ... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2012
جدول المحتويات: ... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...
احصل على النص الكامل
الكتروني كتاب الكتروني