Search Results - program path problem design array https

1

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

Published 2008

Table of Contents: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
View full text

Electronic eBook

3

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

Published 2007

Table of Contents: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... Problem on a Line – Improved Bounds for Pairwise Distance Queries -- Efficient Computational Design...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “... in Distributed Systems -- Solving Classic Problems in Distributed Systems: The Smart-Message Paradigm -- Design...”
View full text

Electronic eBook

7

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

Published 2005

Table of Contents: “... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...”
View full text

Electronic eBook

8

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

Published 2005

Table of Contents: “... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...”
View full text

Electronic eBook

11

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

Published 2005

Table of Contents: “...-Intensive Grid Applications -- Failure Recovery in Grid Database Systems -- On Design of Cluster and Grid...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... -- Twelve Problems in Proof Complexity -- Manifestation and Exploitation of Invariants in Bioinformatics...”
View full text

Electronic eBook

13

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

Published 2005

Table of Contents: “... Path Frequency -- Exact and Approximation Algorithms for DNA Tag Set Design -- Parametric Analysis...”
View full text

Electronic eBook

14

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

Published 2005

Table of Contents: “... -- Adaptive Query-Caching in Peer-to-Peer Systems -- Design and Deployment of Locality-Aware Overlay Multicast...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... on the Stimulation at the Acupuncture Points -- Web Services Architecture, Modeling and Design -- Open Service...”
View full text

Electronic eBook

16

Handbook of Optimization in Telecommunications

Published 2006

Table of Contents: “... -- Shortest Path Algorithms -- Planning and design -- Network Planning Problems in Telecommunications...”
View full text

Electronic eBook

17

VLSI-SoC: From Systems to Silicon IFIP TC10/ WG 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2005), October 17-19, 2005, Pert...

Published 2007

Table of Contents: “... Implementations of Pipelined and Non-Pipelined Signed Radix-4 Array Multiplier and Modified Booth Multiplier...”
View full text

Electronic eBook

18

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

Published 2005

Table of Contents: “...How to Design a Loose Inter-organizational Workflow? An Illustrative Case Study -- Recovering from...”
View full text

Electronic eBook

19

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...”
View full text

Electronic eBook

20

New reflector shaping methods for dual-reflector antenna

by Quzwain, Kamelia, Yamada, Yoshihide, Kamardin, Kamilia, Abd Rahman, Nurul Huda, Ismail, Alyani
Published 2022

“... array antennas are developed for beam steering operations. However, the array antenna configuration has...”

Article

Narrow Search