Rezultaty - program path problem ((design array) OR (design asia)) https

1

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

Wydane 2008

Spis treści: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Wydane 2012

Spis treści: “... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1

Wydane 2015

Spis treści: “... Supervised Learning Algorithm for Spiking Neurons -- An optimization method of SNNs for shortest path problem...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2010

Spis treści: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2007

Spis treści: “... Problem on a Line – Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... in Distributed Systems -- Solving Classic Problems in Distributed Systems: The Smart-Message Paradigm -- Design...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Wydane 2005

Spis treści: “... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Wydane 2005

Spis treści: “... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Wydane 2010

Spis treści: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Cluster Design in the Earth Sciences Tethys -- A Streaming Implementation of Transform and Quantization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Wydane 2005

Spis treści: “... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2005

Spis treści: “...-Intensive Grid Applications -- Failure Recovery in Grid Database Systems -- On Design of Cluster and Grid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2008

Spis treści: “... -- Twelve Problems in Proof Complexity -- Manifestation and Exploitation of Invariants in Bioinformatics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Wydane 2005

Spis treści: “... Path Frequency -- Exact and Approximation Algorithms for DNA Tag Set Design -- Parametric Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... Party -- Modeling and Evaluation of Certification Path Discovery in the Emerging Global PKI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Adaptive Query-Caching in Peer-to-Peer Systems -- Design and Deployment of Locality-Aware Overlay Multicast...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

Wydane 2010

Spis treści: “... on the Stimulation at the Acupuncture Points -- Web Services Architecture, Modeling and Design -- Open Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Handbook of Optimization in Telecommunications

Wydane 2006

Spis treści: “... -- Shortest Path Algorithms -- Planning and design -- Network Planning Problems in Telecommunications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty