Søgeresultater - parallel resolution program functionality testing https

Søg alternativer:
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
parallel resolution » parallel evolution , parallel solution , parallel evolutions
resolution program » evolution program , restoration program , evolution programs
testing https » teaching https , being https , writing https

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

Udgivet 2005

Indholdsfortegnelse: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Udgivet 2015

Indholdsfortegnelse: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
Få fuldtekst

Electronisk eBog

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Få fuldtekst

Electronisk eBog

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”
Få fuldtekst

Electronisk eBog

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Få fuldtekst

Electronisk eBog

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Udgivet 2008

Indholdsfortegnelse: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
Få fuldtekst

Electronisk eBog

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Udgivet 2012

Indholdsfortegnelse: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Få fuldtekst

Electronisk eBog

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
Få fuldtekst

Electronisk eBog

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Udgivet 2005

Indholdsfortegnelse: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Få fuldtekst

Electronisk eBog

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Udgivet 2007

Indholdsfortegnelse: “... Cooperation and Conflict Resolution -- Safety-Critical Systems -- Advancements in Dependable Time-Triggered...”
Få fuldtekst

Electronisk eBog

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Udgivet 2008

Indholdsfortegnelse: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning