Hakutulokset - interaction constraints programming design arrays a

1

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...

Julkaistu 2007

Sisällysluettelo: “...-aware Pipeline Synthesis for Array based Reconfigurable Architectures -- An Interactive Design...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2015

Sisällysluettelo: “... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2014

Sisällysluettelo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hae kokoteksti

Elektroninen E-kirja

4

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

5

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

6

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

Julkaistu 2005

Sisällysluettelo: “...: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2005

Sisällysluettelo: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2012

Sisällysluettelo: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2010

Sisällysluettelo: “... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2005

Sisällysluettelo: “...How to Design a Loose Inter-organizational Workflow? An Illustrative Case Study -- Recovering from...”
Hae kokoteksti

Elektroninen E-kirja

11

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

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, Pert...

Julkaistu 2007

Sisällysluettelo: “... -- On The Design of A Dynamically Reconfigurable Function-Unit for Error Detection and Correction -- Exact BDD...”
Hae kokoteksti

Elektroninen E-kirja

13

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

14

Applications of Soft Computing Recent Trends /

Julkaistu 2006

Sisällysluettelo: “... Curves using Simulated Evolution on Control Parameters -- Control and Robotics -- Design of A Takagi...”
Hae kokoteksti

Elektroninen E-kirja

15

Optics in Astrophysics Proceedings of the NATO Advanced Study Institute on Optics in Astrophysics, Cargèse, France from 16 to 28 September 2002 /

Julkaistu 2005

Sisällysluettelo: “...CONSTRAINTS OF GROUND-BASED OBSERVATIONS: THE ATMOSPHERE -- INTERFERENCES -- A BRIEF HISTORY...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2010

Sisällysluettelo: “... Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques...”
Hae kokoteksti

Elektroninen E-kirja