„Distributed programming“

Suchergebnisse

689 Treffer

• A framework for efficient performance prediction of distributed applications in heterogeneous systems
  Cornea, Bogdan Florin ; Bourgeois, Julien
• Verification in process algebra of the distributed control of track vehicles—A case study
  Fischer, Siegfried ; Scholz, Andreas ; Taubner, Dirk
• Distributed synthesis for well-connected architectures
  Gastin, Paul ; Sznajder, Nathalie ; Zeitoun, Marc
• Specifications of distributed programs
  Liskov, Barbara ; Weihl, William
• Distributed execution of communicating sequential process-style concurrency: Golang case study
  Whitney, James ; Gifford, Chandler ; Pantoja, Maria
• Some simple distributed algorithms for sparse networks
  Panconesi, Alessandro ; Rizzi, Romeo
• Application of improved distributed naive Bayesian algorithms in text classification
  Gao, Hongyi ; Zeng, Xi ; Yao, Chunhua
• Achieving distributed control through model checking
  Graf, Susanne ; Peled, Doron ; Quinton, Sophie
• The cost of monotonicity in distributed graph searching
  Ilcinkas, David ; Nisse, Nicolas ; Soguet, David
• Datalog in academia and industry – second international workshop ; Datalog 2.0 ; Vienna, Austria, September 11 - 13, 2012 ; proceedings
  Barceló, Pablo ; Pichler, Reinhard 2012 Springer
• Scientific workflows – programming, optimization, and synthesis with ASKALON and AWDL
  Qin, Jun ; Fahringer, Thomas 2012 Springer
• The Art of Distributed Applications – Programming Techniques for Remote Procedure Calls
  Corbin, John R. 1991 Springer New York
• Non-Strict Execution in Parallel and Distributed Computing
  Cristobal-Salas, Alfredo ; Tchernykh, Andrei ; Gaudiot, Jean-Luc ; Lin, Wen-Yen
• A modified knowledge-based ant colony algorithm for virtual machine placement and simultaneous routing of NFV in distributed cloud architecture
  Farshin, Alireza ; Sharifian, Saeed
• Distributed graph cube generation using Spark framework
  Kang, Seok ; Lee, Suan ; Kim, Jinho
• Research on suboptimal energy balance of non-uniform distributed nodes in WSN
  Wang, Ruiying ; He, Guoping ; Wu, Xiaoming ; Wang, Fuqiang ; Hu, Yifan
• Adaptation and Evaluation of the Multisplitting-Newton and Waveform Relaxation Methods Over Distributed Volatile Environments
  Charr, Jean-Claude ; Couturier, Raphaël ; Laiymani, David
• Modular abstractions for verifying real-time distributed systems
  De-Leon, Hana ; Grumberg, Orna
• Evaluating the impact of an agile transformation: a longitudinal case study in a distributed context
  Korhonen, Kirsi
• Deployment and dynamic reconfiguration planning for distributed software systems
  Arshad, Naveed ; Heimbigner, Dennis ; Wolf, Alexander L.