Search Results - iterative selective programmed program constructing https

Search alternatives:
selective programmed » electron programmed , selected programmes , medicine programmed
program constructing » program construction , diagram constructing , programs conducting
iterative selective » iterative selection , iterative collective , interactive selection
programmed program » programmes programme , programming program , programs program
constructing https » construction https , consulting https , constructing better

Mathematics of Program Construction 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings /

Published 2008

Table of Contents: “...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”
View full text

Electronic eBook

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint...

Published 2014

Table of Contents: “... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”
View full text

Electronic eBook

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European...

Published 2006

Table of Contents: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Published 2013

Table of Contents: “... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Published 2005

Table of Contents: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
View full text

Electronic eBook

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2008

Table of Contents: “...Invited Talks -- Airline Scheduling: Accomplishments, Opportunities and Challenges -- Selected...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
View full text

Electronic eBook

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Published 2015

Table of Contents: “... approach for damage detection and classification -- Iterative spatial compressive sensing strategy...”
View full text

Electronic eBook

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 Selected Papers /

Published 2005

Table of Contents: “... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”
View full text

Electronic eBook

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Published 2010

Table of Contents: “... of Multiplication -- Modelling the LLL Algorithm by Sandpiles -- Communication-Efficient Construction of the Plane...”
View full text

Electronic eBook

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Published 2010

Table of Contents: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”
View full text

Electronic eBook

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Published 2005

Table of Contents: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”
View full text

Electronic eBook

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers /

Published 2006

Table of Contents: “... the ICE – Finding Multicollisions in Iterated Concatenated and Expanded (ICE) Hash Functions -- Proposals...”
View full text

Electronic eBook

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... -- Convertible Undeniable Proxy Signatures: Security Models and Efficient Construction -- Secret Signatures: How...”
View full text

Electronic eBook

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Published 2008

Table of Contents: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- Research on the Optimal Transit Route Selection Model and Automatic Inquiry System -- Optimal Control...”
View full text

Electronic eBook

Narrow Search