„Distributed programming“

Suchergebnisse

689 Treffer

• Component survivability at runtime for mission-critical distributed systems
  Park, Joon S. ; Chandramohan, Pratheep ; Suresh, Avinash T. ; Giordano, Joseph V. ; Kwiat, Kevin A.
• Automated implementation of complex distributed algorithms specified in the IOA language
  Georgiou, Chryssis ; Lynch, Nancy ; Mavrommatis, Panayiotis ; Tauber, Joshua A.
• Distributed Jacobi Joint Diagonalization on Clusters of Personal Computers
  Holobar, Aleš ; Ojsteršek, Milan ; Zazula, Damjan
• Efficient distributed SAT and SAT-based distributed Bounded Model Checking
  Ganai, Malay K. ; Gupta, Aarti ; Yang, Zijiang ; Ashar, Pranav
• Operator schemes on a common and distributed memory
  Ershov, A. P.
• Contextual local analysis in the design of distributed systems
  Cheung, Shing Chi ; Kramer, Jeff
• Auditing Causal Relationships of Group Multicast Communications in Group-Oriented Distributed Systems
  Tsaur, Woei-Jiunn ; Horng, Shi-Jinn
• A modular framework for optimizing grid integration of mobile and stationary energy storage in smart grids
  Pelzer, Dominik 2019 Springer Vieweg
• Model-checking multi-threaded distributed Java programs
  Stoller, Scott D.
• HitFlow: A Dataflow Programming Model for Hybrid Distributed- and Shared-Memory Systems
  Fresno, Javier ; Barba, Daniel ; Gonzalez-Escribano, Arturo ; Llanos, Diego R.
• Scalable distributed on-the-fly symbolic model checking
  Ben-David, Shoham ; Grumberg, Orna ; Heyman, Tamir ; Schuster, Assaf
• Time-communication impossibility results for distributed transactional memory
  Busch, Costas ; Herlihy, Maurice ; Popovic, Miroslav ; Sharma, Gokarna
• Multiround Distributed Lifetime Coverage Optimization protocol in wireless sensor networks
  Idrees, Ali Kadhum ; Deschinkel, Karine ; Salomon, Michel ; Couturier, Raphaël
• Solving the large-scale knapsack feasibility problem using a distributed computation approach to integer programming
  Wu, Zhengtian ; Hu, Fuyuan ; Fu, Baochuan
• DCSACA: distributed constraint service-aware collaborative access algorithm based on large-scale access to the Internet of Things
  Meng, Yi ; QingKui, Chen
• Fast distributed algorithms for testing graph properties
  Censor-Hillel, Keren ; Fischer, Eldar ; Schwartzman, Gregory ; Vasudev, Yadu
• An election protocol based on group membership detection algorithm in mobile ad hoc distributed systems
  Park, SungHoon ; Yoo, SuChang ; Kim, BoKyoung
• Concurrent, Real-Time and Distributed Programming in Java – Threads, RTSJ and RMI
  Benmammar, Badr 2017 John Wiley & Sons
• Processes Are Data : A Programming Model for Distributed Applications
  Böhm, Alexander ; Kanne, Carl-Christian 2009 Universitätsbibliothek Mannheim
• Optimal bounds on the gain of permitting dynamic allocation of communication channels in distributed computing
  Lundberg, Lars ; Lennerstad, Håkan