Suchergebnisse - interaction constraint programming service arrays a~

1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...”
Volltext

Elektronisch E-Book

2

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

3

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2005

Inhaltsangabe: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2012

Inhaltsangabe: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Volltext

Elektronisch E-Book

6

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product...”
Volltext

Elektronisch E-Book

7

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

von Spear, Chris., Spear, Chris.
Veröffentlicht 2008

Volltext

Elektronisch E-Book

8

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...”
Volltext

Elektronisch E-Book

9

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Pressure Is a Viable Controlled Output of Motor Programming for Object Manipulation Tasks -- Performance...”
Volltext

Elektronisch E-Book

10

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...”
Volltext

Elektronisch E-Book

11

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...”
Volltext

Elektronisch E-Book

12

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Veröffentlicht 2015

Inhaltsangabe: “... Arrays Construction -- Web Service Composition Based an a Multi-Agent System -- Modified Binary FireFly...”
Volltext

Elektronisch E-Book

13

Brain-Inspired Information Technology

Veröffentlicht 2010

Inhaltsangabe: “... -- Functional Properties of Resonate-and-Fire Neuron Circuits for Bio-Inspired Chemical Sensor Array -- A Robot...”
Volltext

Elektronisch E-Book

14

VLSI-SoC: From Systems to Silicon IFIP TC10/ WG 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2005), October 17-19, 2005, Pert...

Veröffentlicht 2007

Inhaltsangabe: “... Attacks -- A Transistor Placement Technique Using Genetic Algorithm and Analytical Programming....”
Volltext

Elektronisch E-Book

15

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “...A Structural Theory of Rhythm Notation Based on Tree Representations and Term Rewriting...”
Volltext

Elektronisch E-Book

16

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... for Intelligent Multimodal HCI -- Constraint Satisfaction -- Optimization of Investment Options Using SQL -- A...”
Volltext

Elektronisch E-Book

17

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Volltext

Elektronisch E-Book

18

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Veröffentlicht 2007

Inhaltsangabe: “...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...”
Volltext

Elektronisch E-Book

19

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Veröffentlicht 2010

Inhaltsangabe: “... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...”
Volltext

Elektronisch E-Book

20

Applications of Soft Computing Recent Trends /

Veröffentlicht 2006

Inhaltsangabe: “... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...”
Volltext

Elektronisch E-Book

Suche einschränken