Результаты поиска - international computer aided computing ((((array string) OR (array probing))) OR (array using))*

1

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

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

Оглавление: “... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”
Полный текст

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

2

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

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

Оглавление: “... -- Session 12. Decision Procedures -- On Array Theory of Bounded Elements -- Quantifier Elimination by Lazy...”
Полный текст

Электронный ресурс 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

Оглавление: “... Cases -- Re-Design of Mechanical Assemblies using the Unified Jacobian-Torsor Model for Tolerance...”
Полный текст

Электронный ресурс 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

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

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

Оглавление: “... -- Space-Time Tradeoffs for Longest-Common-Prefix Array Computation -- Power Domination in Using Reference...”
Полный текст

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

6

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Книга

7

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

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

Оглавление: “... Location-Aided Content Searching Mechanism for Large Mobile Ad Hoc Network Using Geographic Clusters -- A...”
Полный текст

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

8

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

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

Оглавление: “... Reconfigurable Gate Array VLSI -- PISC: Polymorphic Instruction Set Computers -- Networks and Communication...”
Полный текст

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

9

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

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

Оглавление: “... Routing Algorithm Using Detailed Traffic Analysis -- Web Services and Internet Computing -- An Ontology...”
Полный текст

Электронный ресурс 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.

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

Thesis ‌

12

Design of 8-Bit CMOS Digital to Analog Converter

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

Предметы: “...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

Оглавление: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Полный текст

Электронный ресурс 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

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

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

Предметы: “...Computer-aided engineering....”
Полный текст

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

16

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

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

Оглавление: “...! -- Using Haptic-Based Trajectory Following in 3D Space to Distinguish between Men and Women -- Hand-Held...”
Полный текст

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

17

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

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

Оглавление: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Полный текст

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

18

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

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

Оглавление: “... Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from...”
Полный текст

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

19

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

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

Оглавление: “... in Multiple-antenna-aided Multicarrier Systems -- On Coding for OFDM and the Broadcast Channel -- Adaptivity...”
Полный текст

Электронный ресурс 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Книга

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