الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
software functionality » software functional, malware functionality, office functionality
functionality function » functionals function, functionaries function, functional functions
parallel solver » parallel solvers, parallel servers, parallel solving
solver software » server software, servers software, solving software
function https » functions https, fiction https
software functionality » software functional, malware functionality, office functionality
functionality function » functionals function, functionaries function, functional functions
parallel solver » parallel solvers, parallel servers, parallel solving
solver software » server software, servers software, solving software
function https » functions https, fiction https
1
منشور في 2010
جدول المحتويات:
“...) -- Accelerating Euler Equations Numerical Solver on Graphics Processing Units -- An Improved Parallel MEMS...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2006
جدول المحتويات:
“... of the Gfan Software -- Parallel Homotopy Algorithms to Solve Polynomial Systems -- DEpthLAUNAY -- iB4e: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2005
جدول المحتويات:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... -- vZ - An Optimizing SMT Solver -- dReach: δ-Reachability Analysis for Hybrid Systems -- Uppaal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2005
جدول المحتويات:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2014
جدول المحتويات:
“... Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... Solvers for Finite Element Applications -- Efficient Parallel Algorithm for Constructing a Unit Triangular...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... Applications on the Stream Processor -- A Scalable Parallel Software Volume Rendering Algorithm for Large-Scale...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2007
جدول المحتويات:
“... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”احصل على النص الكامل
الكتروني
كتاب الكتروني