Resultados de procura - program part problem design array https

1

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Ligazón do recurso

Electrónico eBook

2

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

Publicado 2010

Table of Contents: “... on the Stimulation at the Acupuncture Points -- Web Services Architecture, Modeling and Design -- Open Service...”
Ligazón do recurso

Electrónico eBook

3

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Publicado 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Ligazón do recurso

Electrónico eBook

4

A Problem-based Approach for Management Education Preparing Managers for Action /

por Hallinger, Philip., Hallinger, Philip., Bridges, Edwin M.
Publicado 2007

Table of Contents: “...TO PART I -- PREPARING ‘MANAGERS FOR ACTION’ -- PROBLEM-BASED LEARNING: A PROMISING APPROACH...”
Ligazón do recurso

Electrónico eBook

5

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

Publicado 2007

Table of Contents: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Ligazón do recurso

Electrónico eBook

6

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Publicado 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Ligazón do recurso

Electrónico eBook

7

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

Publicado 2010

Table of Contents: “...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...”
Ligazón do recurso

Electrónico eBook

8

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Publicado 2014

Table of Contents: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
Ligazón do recurso

Electrónico eBook

9

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Publicado 2013

Table of Contents: “... Search Algorithm for the No-Idle Permutation Flowshop Scheduling Problem -- Design of Non-uniformly...”
Ligazón do recurso

Electrónico eBook

10

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

Publicado 2012

Table of Contents: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Ligazón do recurso

Electrónico eBook

11

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

Publicado 2010

Table of Contents: “... Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol...”
Ligazón do recurso

Electrónico eBook

12

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Publicado 2008

Table of Contents: “... -- Twelve Problems in Proof Complexity -- Manifestation and Exploitation of Invariants in Bioinformatics...”
Ligazón do recurso

Electrónico eBook

13

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

por Spear, Chris., Spear, Chris.
Publicado 2008

Table of Contents: “... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Ligazón do recurso

Electrónico eBook

14

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Publicado 2015

Table of Contents: “... Systems with Partly Known Transition Probabilities and Time-Varying Polytopic Uncertainties -- Hybrid...”
Ligazón do recurso

Electrónico eBook

15

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

por Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Publicado 2013

Table of Contents: “...Introduction -- Part I Information Structures in Networked Control -- Networked Control Systems...”
Ligazón do recurso

Electrónico eBook

16

Handbook on Modelling for Discrete Optimization

Publicado 2006

Table of Contents: “... for Solving Discrete Optimization Problems -- Logic-Based Modeling -- Modelling for Feasibility - the Case...”
Ligazón do recurso

Electrónico eBook

17

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

Publicado 2005

Table of Contents: “...-Driven Regular Reconfigurable Arrays: Design Space Exploration and Mapping -- Automatic FIR Filter...”
Ligazón do recurso

Electrónico eBook

18

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

Publicado 2007

Table of Contents: “... -- Performance Evaluation of Memory Management Configurations in Linux for an OS-Level Design Space Exploration...”
Ligazón do recurso

Electrónico eBook

19

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

Publicado 2005

Table of Contents: “... OF ASTRONOMICAL TELESCOPES -- MODERN OPTICAL DESIGN -- STRUCTURAL MECHANICS -- SEGMENTED MIRROR TELESCOPES...”
Ligazón do recurso

Electrónico eBook

20

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

Publicado 2005

Table of Contents: “...How to Design a Loose Inter-organizational Workflow? An Illustrative Case Study -- Recovering from...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados