Hakutulokset - integrating constraint programming programmed arrays a

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Hae kokoteksti

Elektroninen E-kirja

2

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Julkaistu 2008

Sisällysluettelo: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
Hae kokoteksti

Elektroninen E-kirja

3

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2012

Sisällysluettelo: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
Hae kokoteksti

Elektroninen E-kirja

5

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Hae kokoteksti

Elektroninen E-kirja

6

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...”
Hae kokoteksti

Elektroninen E-kirja

7

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Julkaistu 2010

Sisällysluettelo: “... Optimization Based Synthesis of Concentric Circular Antenna Array for Broadside Radiation -- A Particle Swarm...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2012

Sisällysluettelo: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2010

Sisällysluettelo: “... Model of Trust in Contexts -- Multi-Agent Linear Array Sensors Modeling -- A Framework for Intelligent...”
Hae kokoteksti

Elektroninen E-kirja

10

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Julkaistu 2010

Sisällysluettelo: “...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Tekijä Spear, Chris., Spear, Chris.
Julkaistu 2008

Sisällysluettelo: “... Associative Arrays -- 2.6 Linked Lists -- 2.7 Array Methods -- 2.8 Choosing a Storage Type -- 2.9 Creating New...”
Hae kokoteksti

Elektroninen E-kirja

12

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, Perth, Australia /

Julkaistu 2007

Sisällysluettelo: “... Optimized Quasi Delay Insensitive Circuits -- 3D-SoftChip: A Novel 3D Vertically Integrated Adaptive...”
Hae kokoteksti

Elektroninen E-kirja

13

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 Select...

Julkaistu 2005

Sisällysluettelo: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
Hae kokoteksti

Elektroninen E-kirja

14

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012...

Julkaistu 2013

Sisällysluettelo: “... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”
Hae kokoteksti

Elektroninen E-kirja

15

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2015

Sisällysluettelo: “... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...”
Hae kokoteksti

Elektroninen E-kirja

17

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
Hae kokoteksti

Elektroninen E-kirja

18

Applications of Soft Computing Recent Trends /

Julkaistu 2006

Sisällysluettelo: “... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...”
Hae kokoteksti

Elektroninen E-kirja

19

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2005

Sisällysluettelo: “... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua