Вы здесь

Главная

распределенная система

Связанные издания:

Genetic Programming: Proc./24th European Conference, Euro 2021, Held as Part of EvoStar 2021, Virtual Event, April 2021
GeoSensor Networks: Proc./Third International Conference, GSN 2009. Oxford, UK, July 2009
Global Predicate Detection under Fine-Grained Modalities
Globe: A Wide-Area Distributed System
GOODS to Appear on the Stage
Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006
Grid-службы для интеграции распределенных систем
Groupware: Design, Implementation, and Use: Proc./13th International Workshop, CRIWG 2007. Bariloche, Argentina, September 2007
Handling Synchronization Problem in Petri Net-Based System Design by Property-Reserving Transition-Reduction
Hardware and Software Verification and Testing: Revised Selected Papers/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
Heidi-II: A Software Architecture for ATM Network Based Distributed Multimedia Systems
HERCULE: Non-invasively Tracking JavaTM Component-Based Application Activity
Heterogeneous Analysis and Verification for Distributed Systems
Hidden Costs in Avoiding False Sharing in Software DSMs
High Performance Computing and Communications: Proc./Second International Conference, HPCC 2006. Munich, Germany, September 2006
High Performance Computing and Communications: Proc./Third International Conference, HPCC 2007. Houston, USA, September 2007
High Performance Computing - HiPC 2008: Proc./15th International Conference. Bangalore, India, December 2008
High Performance Computing: Proc./33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 2018
High Performance Computing: Proc./35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 2020
High Performance Computing: Revised Selected Papers/ISC High Performance 2020 International Workshops, Frankfurt/Main, Germany, June 2020
High Performance Computing: Revised Selected Papers/ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 2021
HMSCs as Partial Specifications ... with PNs as Completions
How to Modify the GNAT Frontend to Experiment with Ada Extensions
Hybrid Approach to Task Allocation in Distributed Systems
Hybrid Artificial Intelligent Systems: Proc./12th International Conference, HAIS 2017, La Rioja, Spain, June 2017
HyperMSCs and Sequence Diagrams for Use Case Modeling and Testing
Implementing a CTL Model Checker
Improving Reactivity to I/O Events in Multithreaded Environments Using a Uniform, Scheduler-Centric API
Independent Recovery in Large-Scale Distributed Systems
Informatics in Schools: Rethinking Computing Education: Proc./14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 2021
Information Networking - Wireless Communications Technologies and Network Applications: Proc./Intern. Conf., ICOIN 2002, Cheju Island, Korea, January-February 2002. Part II
Innovative Concepts for Autonomic and Agent-Based Systems: Revised Papers/ Second International Workshop WRAC 2005. Greenbelt,MD,USA, September 2005
Inside the Distributed Systems Annex
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: Proc./17th Intl WS, PATMOS 2007. Gothenburg, Sweden, September 2007
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Integrating Notifications and Transactions: Concepts and X2TS Prototype
Intelligent Data Engineering and Automated Learning - IDEAL 2007: Proc./8th International Conference. Birmingham, UK, December 2007
Intelligent Information and Database Systems, Part I: Proc./Third International Conference, ACIIDS 2011, Daegu, Korea, April 2011
(Inter-)Action Refinement: The Easy Way Compositional Refinement of Interactive Systems
Interactive Distributed Multimedia Systems and Telecommunication Services: Proc./4th Intern. Workshop, IDMS 97. Darmstadt, Germany, September 1997
Interactive Distributed Multimedia Systems and Telecommunication Services: Proc./6th Intern. Workshop, IDMS 99. Toulouse, France, October 1999
Interactive Distributed Multimedia Systems and Telecommunication Services: Proc./7th Intern. Workshop, IDMS 2000, Enschede, The Netherlands, October 2000
Interactive Distributed Multimedia Systems: Proc./8th International Workshop, IDMS 2001, Lancaster,UK,September 2001
Internet and Distributed Computing Systems: Proc./10th International Conference, IDCS 2017, Mana Island, Fiji, December 2017
Internet Applications: Proc./5th Intern. Computer Science Conf., ICSC 99. Hong Kong, China, December 1999
Internet of Things, Smart Spaces, and Next Generation Networking: Proc./12th International Conference, NEW2AN 2012 and 5th Conference, ruSMART 2012, St.Petersburg, Russia, August 2012
Interoperability of Distributed and Heterogeneous Systems Based on Software Agent-Oriented Frameworks
Intra- and Inter-Object Coordination with MESSENGERS
Introducing the Iteration in sPBC
I/O Automata in Isabelle/HOL