תוצאות חיפוש - parallel function efficient resolution function https

אפשרויות חיפוש:
efficient resolution » efficient solution , efficient solutions , efficient evaluation
resolution function » resolution functional , resolution refutations , resolution simulation
function efficient » functions efficient , junction efficient , junctions efficient
parallel function » parallel functional , parallel auction , parallel union
function https » functions https , fiction https

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

יצא לאור 2006

תוכן הענינים: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
קבל טקסט מלא

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

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
קבל טקסט מלא

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

BioMEMS

יצא לאור 2006

תוכן הענינים: “... DEVICES. 3.1.Separation efficiency of a CE-chip. 3.2.Separation of biomacromolecules and particles. 4...”
קבל טקסט מלא

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

Advances in Robot Kinematics

יצא לאור 2014

תוכן הענינים: “... Tracking -- Efficient Resolution of Hyper-Redundancy Using Splines -- Kinematic Modeling of an EAP Actuated...”
קבל טקסט מלא

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

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “... Manipulation -- Implementing Equational Constraints in a Functional Language -- On the Efficient Implementation...”
קבל טקסט מלא

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

Reconfigurable Computing: Architectures, Tools, and Applications 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... with Multi-seeds Detection and Parallel Extension -- Highly Space Efficient Counters for Perl Compatible...”
קבל טקסט מלא

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

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

יצא לאור 2015

תוכן הענינים: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
קבל טקסט מלא

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

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

יצא לאור 2013

תוכן הענינים: “... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...”
קבל טקסט מלא

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

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

יצא לאור 2007

תוכן הענינים: “... -- An Efficient Algorithm and Its Parallelization for Computing PageRank -- A Query Index for Stream Data Using...”
קבל טקסט מלא

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

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

יצא לאור 2008

תוכן הענינים: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
קבל טקסט מלא

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

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “...-Resolution Genome-Wide Microarray Data Using the GenRate Model -- Efficient Calculation of Interval Scores...”
קבל טקסט מלא

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

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
קבל טקסט מלא

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

High Performance Computing in Science and Engineering, Garching/Munich 2009 Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz S...

יצא לאור 2010

תוכן הענינים: “..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...”
קבל טקסט מלא

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

Bioinformatics Research and Development Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008 Proceedings /

יצא לאור 2008

תוכן הענינים: “...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...”
קבל טקסט מלא

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

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

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

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

יצא לאור 2007

תוכן הענינים: “... Solvers for Finite Element Applications -- Efficient Parallel Algorithm for Constructing a Unit Triangular...”
קבל טקסט מלא

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

Advanced Techniques in Computing Sciences and Software Engineering

יצא לאור 2010

תוכן הענינים: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
קבל טקסט מלא

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

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
קבל טקסט מלא

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

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “...-Parallel Tree Matching Algorithm for Patterns with Horizontal VLDC’s -- A Partition-Based Efficient...”
קבל טקסט מלא

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

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
קבל טקסט מלא

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

צמצם חיפוש