תוצאות חיפוש - parallel partition program functionals function https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

תוכן הענינים: “... Algorithm for Heterogeneous Systems -- Two-Dimensional Matrix Partitioning for Parallel Computing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

יצא לאור 2010

תוכן הענינים: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

יצא לאור 2014

תוכן הענינים: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

יצא לאור 2006

תוכן הענינים: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

יצא לאור 2006

תוכן הענינים: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

יצא לאור 2015

תוכן הענינים: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

יצא לאור 2010

תוכן הענינים: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

יצא לאור 2010

תוכן הענינים: “... for Minimum Clique Partition in Unit Disk Graphs -- Representing a Functional Curve by Curves with Fewer Peaks...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

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

יצא לאור 2010

תוכן הענינים: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “...Designing Reliable Algorithms in Unreliable Memories -- From Balanced Graph Partitioning...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

יצא לאור 2008

תוכן הענינים: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

יצא לאור 2014

תוכן הענינים: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש