Εμφανίζονται 2.081 - 2.100 Αποτελέσματα από 2.407 για την αναζήτηση '"data structure"', χρόνος αναζήτησης: 0,22δλ Περιορισμός αποτελεσμάτων
  1. 2081
    High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Data Structure with Parallel Bloom Filters for Network Services -- Receive Side Coalescing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2082
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… of Programs -- Program Analysis and Verification II -- Data Structure Specifications via Local Equality Axioms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2083
    Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Abstract Interpretation -- WYSINWYX: What You See Is Not What You eXecute -- Implications of a Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2084
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Frequent Itemset Minning with Trie Data Structure and Parallel Execution with PVM -- Tools -- Retrospect…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2085
    Bioinformatics Research and Applications Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Data Structure -- Generalized Gene Adjacencies, Graph Bandwidth and Clusters in Yeast Evolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2086
    Knowledge-based manufacturability assessment of AM
    “… different sources, however, they are combined in a common data structure, also being registered in time…”
    Λήψη πλήρους κειμένου
  7. 2087
    Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Invited Papers -- Local Reasoning about Programs that Alter Data Structures -- Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2088
    Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Watched Data Structures for QBF Solvers -- How Good Can a Resolution Based SAT-solver Be? -- A Local…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2089
    Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Algebraically Closed Fields -- Computing in Coq with Infinite Algebraic Data Structures -- Formally Verified…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2090
    Proceedings of the 14th International Meshing Roundtable
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Array-Based Mesh Data Structures -- Parallel 2D Graded Guaranteed Quality Delaunay Mesh Refinement.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 2091
    Recent Advances in Functional Data Analysis and Related Topics
    Έκδοση 2011
    Πίνακας περιεχομένων: “… for Geostatistical Functional Data -- Structured Penalties for Generalized Functional Linear Models (GFLM…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 2092
    Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- Robust timed automata -- Data-structures for the verification of timed automata -- Synthesizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2093
    Algorithms - ESA '97 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… orthogonal d-dimensional knapsack problems -- Dynamic data structures for realtime management of large…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2094
    Software Engineering Research and Applications First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Refinement of Data Structures on Higher-Order Algebraic Specifications -- Analyzing Relationships…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 2095
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2096
    Algorithms in Bioinformatics 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors -- Sparsification of RNA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2097
    Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… of Orthogonal Range Search in Multidimensional Data Structures -- Bialgebraic Modelling of Timed Processes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2098
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
    Έκδοση 2012
    Πίνακας περιεχομένων: “….- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2099
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Parameterized Algorithm for Treedepth -- Pseudorandom Graphs in Data Structures -- Sampling-Based Proofs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2100
    High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- ExaComm -- Reducing manipulation overhead of remote data-structure by controlling remote memory access…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email