1
منشور في 2010
جدول المحتويات: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2014
جدول المحتويات: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2013
جدول المحتويات: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2005
جدول المحتويات: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2007
جدول المحتويات: ... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2013
جدول المحتويات: ...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2006
جدول المحتويات: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2005
جدول المحتويات: ... Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2010
جدول المحتويات: ... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2015
جدول المحتويات: ... Opportunities for Participation within and Beyond Community Mental Health Services.-Intervention Program...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2014
جدول المحتويات: ...-University Exchange and Cooperation on Doctoral Programs in Southeast Asia: Naoki Umemiya, Akiyoshi Yonezawa...
احصل على النص الكامل
الكتروني كتاب الكتروني