Zoekresultaten - parallel optimization modulo functionality function https

Alternatieven:
functionality function » functionals function , functionaries function , functional functions
parallel optimization » parameter optimization , parameters optimization , parallel simulation
modulo functionality » morpho functionality , multi functionality , double functionality
optimization modulo » optimization model , optimization models , optimization mobile
function https » functions https , fiction https

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Gepubliceerd in 2015

Inhoudsopgave: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Volledige tekst

Elektronisch E-boek

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...”
Volledige tekst

Elektronisch E-boek

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

Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings /

Gepubliceerd in 2012

Inhoudsopgave: “... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Disjoint NP-Pairs -- Symbolic Reachability Analysis of Higher-Order Context-Free Processes -- Optimal...”
Volledige tekst

Elektronisch E-boek

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Volledige tekst

Elektronisch E-boek

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Volledige tekst

Elektronisch E-boek

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken