„Distributed programming“

Suchergebnisse

689 Treffer

• Application of distributed parallel computing for dynamic visual cryptography
  Čiegis, Raimondas ; Starikovičius, Vadimas ; Tumanova, Natalija ; Ragulskis, Minvydas
• Automata, languages and programming
  2011 Springer
• A distributed algorithm for strong bisimulation reduction of state spaces
  Blom, Stefan ; Orzan, Simona
• Issues in distributed timed model checking – Building Zeus
  Braberman, Víctor ; Olivero, Alfredo ; Schapachnik, Fernando
• Sequential and distributed model checking of Petri nets
  Bell, Alexander ; Haverkort, Boudewijn R.
• Distributed reachability analysis in timed automata
  Behrmann, Gerd
• Distributed state space minimization
  Blom, Stefan ; Orzan, Simona
• Distributed functional and load tests for Web services
  Schieferdecker, Ina ; Din, George ; Apostolidis, Dimitrios
• A SDN-based distributed mobility management in LTE/EPC network
  Kim, Yong-hwan ; Lim, Hyun-kyo ; Kim, Kyoung-han ; Han, Youn-Hee
• Distributed RDF store for efficient searching billions of triples based on Hadoop
  Um, Jung-Ho ; Lee, Seungwoo ; Kim, Tae-Hong ; Jeong, Chang-Hoo ; Song, Sa-Kwang ; Jung, Hanmin
• Atomic RMI: A Distributed Transactional Memory Framework
  Siek, Konrad ; Wojciechowski, Paweł T.
• Nearly optimal bounds for distributed wireless scheduling in the SINR model
  Halldórsson, Magnús M. ; Mitra, Pradipta
• Fundamental approaches to software engineering – 14th international conference ; proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer
• Theory and practice of algorithms in (computer) systems – first international ICST conference ; proceedings
  Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer
• Distributed algorithms for barrier coverage using relocatable sensors
  Eftekhari, Mohsen ; Kranakis, Evangelos ; Krizanc, Danny ; Morales-Ponce, Oscar ; Narayanan, Lata ; Opatrny, Jaroslav ; Shende, Sunil
• Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring
  Jeavons, Peter ; Scott, Alex ; Xu, Lei
• Robust allocation of RF device capacity for distributed spectrum functions
  Smith, Stephen F. ; Rubinstein, Zachary B. ; Shur, David ; Chapin, John
• Enabling actionable analytics for mobile devices: performance issues of distributed analytics on Hadoop mobile clusters
  Lee, Seungbae ; Grover, Kanika ; Lim, Alvin
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Introduction to the parallel and distributed programming language ParMod-C
  Schnekenburger, Thomas ; Weininger, Andreas ; Friedrich, Michael 1991 SFB 342, TUM