檢索結果 - parallel testing programs functionality setting https

搜索替代詞:
programs functionality » program functionality , programs functional , properties functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel testing » parallel nesting , parallel meshing , parallel routing
testing programs » testing program , passing programs , feeding programs
setting https » being https , writing https , feeding https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

出版 2007

書本目錄: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
獲取全文

電子電子書

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

出版 2008

書本目錄: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
獲取全文

電子電子書

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
獲取全文

電子電子書

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
獲取全文

電子電子書

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

出版 2006

書本目錄: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
獲取全文

電子電子書

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

出版 2014

書本目錄: “... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

出版 2014

書本目錄: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
獲取全文

電子電子書

Innovations in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”
獲取全文

電子電子書

Evolutionary Algorithms for Solving Multi-Objective Problems

由 Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
出版 2007

書本目錄: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
獲取全文

電子電子書

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

出版 2010

書本目錄: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”
獲取全文

電子電子書

Applied WPF 4 in Context

由 Garofalo, Raffaele., Garofalo, Raffaele.
出版 2011

主題: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
獲取全文

電子電子書

COMPSTAT 2008 Proceedings in Computational Statistics /

出版 2008

書本目錄: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
獲取全文

電子電子書

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
獲取全文

電子電子書

縮小搜索