Zoekresultaten - parallel programs speed functionality function https

1

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

Gepubliceerd in 2005

Inhoudsopgave: “...-Speed TCP -- Advanced Software On-Demand Based on Functional Streaming -- Can Out-of-Order Instruction...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2010

Inhoudsopgave: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Volledige tekst

Elektronisch E-boek

3

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

Gepubliceerd in 2008

Inhoudsopgave: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volledige tekst

Elektronisch E-boek

4

packetC Programming

door Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Gepubliceerd in 2011

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2010

Inhoudsopgave: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2005

Inhoudsopgave: “... for Pipelined Processors with Multicycle Functional Units -- Algorithms and Techniques for Speeding (DD-Based...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2013

Inhoudsopgave: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2006

Inhoudsopgave: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2010

Inhoudsopgave: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2010

Inhoudsopgave: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2007

Inhoudsopgave: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2014

Inhoudsopgave: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2006

Inhoudsopgave: “... Programs -- Preemptive Online Scheduling: Optimal Algorithms for All Speeds -- On the Complexity...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2006

Inhoudsopgave: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Volledige tekst

Elektronisch E-boek

20

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

Gepubliceerd in 2007

Inhoudsopgave: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken