Результаты поиска - international computer aided computational ((((array arcing) OR (arrays a))) OR (arrays brad))

1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... -- Session XVI: SAT and Decision Procedures -- A Decision Procedure for Bit-Vectors and Arrays -- Boolean...”
Полный текст

Электронный ресурс eКнига

2

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... -- Merit: An Interpolating Model-Checker -- Breach, A Toolbox for Verification and Parameter Synthesis...”
Полный текст

Электронный ресурс eКнига

3

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University...

Опубликовано 2007

Оглавление: “...A Unified Approach to Design of Assemblies Integrating Nominal and Variation Design -- Virtual...”
Полный текст

Электронный ресурс eКнига

4

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Опубликовано 2005

Оглавление: “... for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective...”
Полный текст

Электронный ресурс eКнига

5

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006...

Опубликовано 2006

Оглавление: “... Reconfigurable Processor -- Trigonometric Computing Embedded in a Dynamically Reconfigurable CORDIC System...”
Полный текст

Электронный ресурс eКнига

6

Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings /

Опубликовано 2008

Оглавление: “... Extra Array? -- Some Constrained Notions of Planarity -- Reachability Problems on Directed Graphs -- 1A...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2012

Оглавление: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Полный текст

Электронный ресурс eКнига

8

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
Полный текст

Электронный ресурс eКнига

9

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2014

Оглавление: “... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...”
Полный текст

Электронный ресурс eКнига

11

Design of 8-Bit CMOS Digital to Analog Converter

по Tan, Gim Heng
Опубликовано 2001

Предметы: “...Metal oxide semiconductors, Complementary - Computer-aided design...”
Полный текст

Thesis

12

Design of 8-bit CMOS digital to analog converter /

по Tan, Gim Heng.

Предметы: “...Metal oxide semiconductors, Complementary Computer-aided design....”

Thesis ‌

13

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

Опубликовано 2007

Оглавление: “... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”
Полный текст

Электронный ресурс eКнига

14

Solving Computationally Expensive Engineering Problems Methods and Applications /

Опубликовано 2014

Оглавление: “... Arrays By Means of Surrogate-Based Optimization -- Optimal Design of Computationally Expensive EM-Based...”
Полный текст

Электронный ресурс eКнига

15

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Опубликовано 2008

Оглавление: “...A Proposal for Task Parallelism in OpenMP -- Support for Fine Grained Dependent Tasks in OpenMP...”
Полный текст

Электронный ресурс eКнига

16

Separated Representations and PGD-Based Model Reduction Fundamentals and Applications /

Опубликовано 2014

Оглавление: “...: extracting relevant information -- Interpolation of reduced basis: a geometrical approach -- POD for non...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2010

Оглавление: “... Actuated Tactile Micro-actuator Array -- Muscular Torque Can Explain Biases in Haptic Length Perception: A...”
Полный текст

Электронный ресурс eКнига

18

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

Опубликовано 2012

Оглавление: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
Полный текст

Электронный ресурс eКнига

19

Multi-Carrier Spread-Spectrum Proceedings from the 5th International Workshop, Oberpfaffenhofen, Germany, September 14-16, 2005 /

Опубликовано 2006

Оглавление: “... -- Analytical Performance of a Frequency Offset Multi-user Multi-array System -- Effects of Subcarrier...”
Полный текст

Электронный ресурс eКнига

20

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Опубликовано 2012

Оглавление: “... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска