Bilaketaren emaitzak - parallel partitioned programs functionality function https

Iradokizunak:
programs functionality » program functionality , programs functional , properties functionality
functionality function » functionals function , functionaries function , functional functions
parallel partitioned » parallel partition , spatially partitioned , parallel particle
partitioned programs » partitioned subgraphs , partition problems , certified programs
function https » functions https , fiction https

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

Argitaratua 2010

Aurkibidea: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2007

Aurkibidea: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... Algorithm for Heterogeneous Systems -- Two-Dimensional Matrix Partitioning for Parallel Computing...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2014

Aurkibidea: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Testu osoa

Baliabide elektronikoa eBook

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 /

Argitaratua 2006

Aurkibidea: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2015

Aurkibidea: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2013

Aurkibidea: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... for Minimum Clique Partition in Unit Disk Graphs -- Representing a Functional Curve by Curves with Fewer Peaks...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “...Designing Reliable Algorithms in Unreliable Memories -- From Balanced Graph Partitioning...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2014

Aurkibidea: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Testu osoa

Baliabide elektronikoa eBook

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Argitaratua 2013

Aurkibidea: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu