1
منشور في 2006
جدول المحتويات: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2013
جدول المحتويات: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2006
جدول المحتويات: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2015
جدول المحتويات: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2006
جدول المحتويات: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2010
جدول المحتويات: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2012
جدول المحتويات: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2010
جدول المحتويات: ... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2005
جدول المحتويات: ... Lightweight Dynamic Application Monitor for SMP Clusters -- gridlib — A Parallel, Object-oriented Framework...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2013
جدول المحتويات: ... and Parallelization to Improve the Application of the APH Hamiltonian in Reactive Scattering.- Multi Reference versus...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2015
جدول المحتويات: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2015
جدول المحتويات: ... Theory -- Wind Farm Reactive Power Compensation Capacity Configuration -- Direction of Arrival Estimation...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2013
جدول المحتويات: ... Multicast Routing -- A New Improved Knowledge Based Cultural Algorithm for Reactive Power Planning -- BFO...
احصل على النص الكامل
الكتروني كتاب الكتروني