Suchergebnisse - parallel programmed channel function function https

1

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

Veröffentlicht 2007

Inhaltsangabe: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2010

Inhaltsangabe: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2005

Inhaltsangabe: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Volltext

Elektronisch E-Book

4

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Veröffentlicht 2006

Inhaltsangabe: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volltext

Elektronisch E-Book

5

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volltext

Elektronisch E-Book

6

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Volltext

Elektronisch E-Book

7

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Veröffentlicht 2008

Inhaltsangabe: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Volltext

Elektronisch E-Book

8

Advanced Techniques in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volltext

Elektronisch E-Book

9

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”
Volltext

Elektronisch E-Book

10

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Veröffentlicht 2007

Inhaltsangabe: “... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...”
Volltext

Elektronisch E-Book

11

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Formal Proof of the Irrationality of ζ(3) -- From Operational Models to Information Theory; Side Channels...”
Volltext

Elektronisch E-Book

12

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Veröffentlicht 2014

Inhaltsangabe: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Volltext

Elektronisch E-Book

13

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Veröffentlicht 2010

Inhaltsangabe: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Volltext

Elektronisch E-Book

14

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volltext

Elektronisch E-Book

15

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Volltext

Elektronisch E-Book

16

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Veröffentlicht 2007

Inhaltsangabe: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Volltext

Elektronisch E-Book

17

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Veröffentlicht 2005

Inhaltsangabe: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
Volltext

Elektronisch E-Book

18

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”
Volltext

Elektronisch E-Book

19

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Volltext

Elektronisch E-Book

20

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Veröffentlicht 2013

Inhaltsangabe: “... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”
Volltext

Elektronisch E-Book

Suche einschränken