نتائج البحث - parallel statics problems function function https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

منشور في 2010

جدول المحتويات: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
احصل على النص الكامل

الكتروني كتاب الكتروني

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

منشور في 2005

جدول المحتويات: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
احصل على النص الكامل

الكتروني كتاب الكتروني

3

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

منشور في 2010

جدول المحتويات: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
احصل على النص الكامل

الكتروني كتاب الكتروني

4

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

منشور في 2010

جدول المحتويات: “... for Parallel Computing on Heterogeneous Platforms (HeteroPar 2009) -- Preface -- Static Worksharing Strategies...”
احصل على النص الكامل

الكتروني كتاب الكتروني

5

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /

منشور في 2013

جدول المحتويات: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
احصل على النص الكامل

الكتروني كتاب الكتروني

6

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

منشور في 2010

جدول المحتويات: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
احصل على النص الكامل

الكتروني كتاب الكتروني

7

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

منشور في 2015

جدول المحتويات: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
احصل على النص الكامل

الكتروني كتاب الكتروني

8

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

منشور في 2013

جدول المحتويات: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
احصل على النص الكامل

الكتروني كتاب الكتروني

9

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

منشور في 2015

جدول المحتويات: “... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”
احصل على النص الكامل

الكتروني كتاب الكتروني

10

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings /

منشور في 2015

جدول المحتويات: “... for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem -- Constant Approximation...”
احصل على النص الكامل

الكتروني كتاب الكتروني

11

Trends and Topics in Computer Vision ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II /

منشور في 2012

جدول المحتويات: “... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...”
احصل على النص الكامل

الكتروني كتاب الكتروني

12

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

منشور في 2005

جدول المحتويات: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
احصل على النص الكامل

الكتروني كتاب الكتروني

13

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

منشور في 2005

جدول المحتويات: “... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...”
احصل على النص الكامل

الكتروني كتاب الكتروني

14

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

منشور في 2005

جدول المحتويات: “... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...”
احصل على النص الكامل

الكتروني كتاب الكتروني

15

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

منشور في 2010

جدول المحتويات: “... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”
احصل على النص الكامل

الكتروني كتاب الكتروني

16

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

منشور في 2010

جدول المحتويات: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
احصل على النص الكامل

الكتروني كتاب الكتروني

17

Advances in Neural Networks – ISNN 2014 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings /

منشور في 2014

جدول المحتويات: “... of Decision Strategies -- Memristive Radial Basis Function Neural Network for Parameters Adjustment of PID...”
احصل على النص الكامل

الكتروني كتاب الكتروني

18

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

بواسطة Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
منشور في 2014

جدول المحتويات: “... with Constrained Controls -- Static Output Feedback Control for Fuzzy Systems -- Stabilization of Discrete-time...”
احصل على النص الكامل

الكتروني كتاب الكتروني

19

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

منشور في 2008

جدول المحتويات: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
احصل على النص الكامل

الكتروني كتاب الكتروني

20

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

منشور في 2007

جدول المحتويات: “... Systems with Minimal Symport/Antiport and Two Membranes -- On the Reachability Problem in P Systems...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث