Εμφανίζονται 101 - 120 Αποτελέσματα από 1.147 για την αναζήτηση 'Synchronization (computer science)', χρόνος αναζήτησης: 0,27δλ Περιορισμός αποτελεσμάτων
  1. 101
    Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… to the Firing Squad Synchronization Problem -- Time-Optimum Smaller-State Synchronizers for Cellular Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 102
    Computer Security – ESORICS 2009 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Model for Facebook-Style Social Network Systems -- New Privacy Results on Synchronized RFID…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 103
    Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 104
    Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Synchronization in Heterogeneous Sensor Networks -- Stochastic Counting in Sensor Networks, or: Noise Is Good…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 105
    Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Localization and Time Synchronization -- GIST: Group-Independent Spanning Tree for Data Aggregation in Dense…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 106
    Information and Decision Sciences Proceedings of the 6th International Conference on FICTA /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… with ties -- 38. Cryptanalysis of Image Cryptosystem Using Synchronized 4D Lorenz Stenflo Hyperchaotic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 107
    Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 108
    Fundamentals of Computation Theory 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… systems into TOL collage grammars -- Synchronized product of linear bounded machines -- On maximal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 109
    Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Talks -- Encapsulating Reaction-Diffusion Computers -- On the Computational Capabilities…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 110
    Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 111
    Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 112
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…, Microcode, and Synchronous Systems -- Formal Verification of Pentium ® 4 Components with Symbolic Simulation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 113
    Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Elementary Differences Among Jump Hierarchies -- Working with the LR Degrees -- Computability on Subsets…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 114
    Nature of Computation and Communication Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Computing -- Fast Bilaterial Symmetry Detection Using Inverted Gradient Hash Maps -- A Review of Two…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 115
    Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 116
    Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 117
    Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 118
    Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… for Paxos State Machines -- A Causal Checkpointing Algorithm for Mobile Computing Environments -- Gathering…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 119
    Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Keynote Talks -- Distributed Computing and the Multicore Revolution -- The Rise of People-Centric Sensing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 120
    Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email