Search Results - parallel program speed function function https

1

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

Published 2005

Table of Contents: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
View full text

Electronic eBook

3

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

4

packetC Programming

by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

5

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

Published 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text

Electronic eBook

6

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

Published 2013

Table of Contents: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
View full text

Electronic eBook

7

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Published 2010

Table of Contents: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
View full text

Electronic eBook

8

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
View full text

Electronic eBook

9

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... for Pipelined Processors with Multicycle Functional Units -- Algorithms and Techniques for Speeding (DD-Based...”
View full text

Electronic eBook

11

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
View full text

Electronic eBook

12

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

Published 2013

Table of Contents: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
View full text

Electronic eBook

13

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Published 2006

Table of Contents: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
View full text

Electronic eBook

14

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

Published 2007

Table of Contents: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
View full text

Electronic eBook

15

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

Published 2014

Table of Contents: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
View full text

Electronic eBook

16

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... Programs -- Preemptive Online Scheduling: Optimal Algorithms for All Speeds -- On the Complexity...”
View full text

Electronic eBook

17

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

Published 2005

Table of Contents: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
View full text

Electronic eBook

18

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

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

19

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

Published 2007

Table of Contents: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
View full text

Electronic eBook

20

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

Published 2006

Table of Contents: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
View full text

Electronic eBook

Narrow Search