Canlyniadau Chwilio - programs adapted programs https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”
Cael y testun llawn

Electronig eLyfr

2

The Square Kilometre Array: An Engineering Perspective

Cyhoeddwyd 2005

Tabl Cynhwysion: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Cael y testun llawn

Electronig eLyfr

3

Adaptive Optics for Industry and Medicine Proceedings of the 4th International Workshop, Münster, Germany, Oct. 19-24, 2003 /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Wireless Control of an LC Adaptive Lens -- Summary of Adaptive Optics at Stanford -- Control of a Thermal...”
Cael y testun llawn

Electronig eLyfr

4

Pro JavaScript Design Patterns

gan Diaz, Dustin., Diaz, Dustin., Harmes, Ross.
Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- The Bridge Pattern -- The Composite Pattern -- The Facade Pattern -- The Adapter Pattern -- The Decorator...”
Cael y testun llawn

Electronig eLyfr

5

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Cael y testun llawn

Electronig eLyfr

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Cael y testun llawn

Electronig eLyfr

7

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Cyhoeddwyd 2014

Tabl Cynhwysion: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Cael y testun llawn

Electronig eLyfr

8

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...”
Cael y testun llawn

Electronig eLyfr

9

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
Cael y testun llawn

Electronig eLyfr

10

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Models and Languages -- Looking for a Definition of Dynamic Distributed Systems -- Adaptive...”
Cael y testun llawn

Electronig eLyfr

11

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Cael y testun llawn

Electronig eLyfr

12

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... with an Adaptive Runtime -- Semi-discrete Matrix-Free Formulation of 3D Elastic Full Waveform Inversion Modeling...”
Cael y testun llawn

Electronig eLyfr

13

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-Theoretic Approach for Clonal Selection Algorithms -- Antibodies with Adaptive Radius as Prototypes of High...”
Cael y testun llawn

Electronig eLyfr

14

Evolutionary Algorithms for Solving Multi-Objective Problems

gan Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Cyhoeddwyd 2007

Pynciau: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...: Wireless Networks -- A Fair Medium Access Protocol Using Adaptive Flow-Rate Control Through Cooperative...”
Cael y testun llawn

Electronig eLyfr

16

Optimal Covariate Designs Theory and Applications /

gan Das, Premadhis., Das, Premadhis., Dutta, Ganesh., Mandal, Nripes Kumar., Sinha, Bikas Kumar.
Cyhoeddwyd 2015

Pynciau: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Cael y testun llawn

Electronig eLyfr

18

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Cael y testun llawn

Electronig eLyfr

19

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Meets Self-stabilization -- On the Cost of Uniform Protocols Whose Memory Consumption Is Adaptive...”
Cael y testun llawn

Electronig eLyfr

20

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Structural Alignment -- Generalized Pattern Search and Mesh Adaptive Direct Search Algorithms for Protein...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad