Вы здесь

Главная

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

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

IP Operations and Management: Proc./8th IEEE International Workshop, IPOM 2008. Samos Island, Greece, September 2008
Irreversible Dynamos in Tori
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/17th International Workshop, JSSPP 2013, Boston,MA,USA, May 2013
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 2015 and JSSPP 2016, Chicago,IL,May 2016
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/21st International Workshop. JSSPP 2017, Orlando,FL,USA, June 2017
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 2018
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/23rd International Workshop, JSSPP 2020, New Orleans,LA,USA, May 2020
Job Scheduling Strategies for Parallel Processing: Revised Selected Papers/24th International Workshop, JSSPP 2021, Virtual Event, May 2021
Just-in-Time Stub Generation
KI 2009: Advances in Artificial Intelligence: Proc./32nd Annual German Conference on AI, Paderborn, Germany, September 2009
Languages and Compilers for Parallel Computing: Revised Selected Papers/32nd International Workshop, LCPC 2019, Atlanta,GA,USA, October 2019
Languages and Compilers for Parallel Computing: Revised Selected Papers/33rd International Workshop, LCPC 2020, Virtual Event, October 2020
Languages for Compilers for Parallel Computing: Revised Papers/19th International Workshop, LCPC 2006. New Orleans, LA, USA, November 2006
Large Scale Management of Distributed Systems: Proc./17th IFIP/IEEE Intl WS, DSOM 2006. Dublin, Ireland, October 2006
Large-Scale Scientific Computing: Revised Selected Papers/12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 2019
Layers as Knowledge Transitions in the Design of Distributed Systems
Lessons Learned Building Reusable OO Frameworks for Distributed Software
Leveraging Applications of Formal Methods, Verification, and Validation, Part II: Proc./4th International Symposium on LA, ISoLA 2010, Heraclion, Grete, Greece, October 2010
Leveraging Applications of Formal Methods, Verification, and Validation, Part I: Proc./4th International Symposium on LA, ISoLA 2010, Heraklion,Grete,Greece, October 2010
Leveraging Applications of Formal Methods, Verification and Validation, Part I: Verification Principles: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation, Part IV:Tools and Trends: Proc./9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 2020
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021
Linear Time Byzantine Self-Stabilizing Clock Synchronization
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2018, Deerfield Beach,FL,USA, January 2018
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Logic Based Coordination for Event-Driven Self-healing Distributed Systems
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logic for Programming, Artificial Intelligence, and Reasoning: Revised Selected Papers/16th International Conference, LPAR-16, Dakar, Senegal, April/May 2010
Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
Maintaining Causal Order in Large Scale Distributed Systems Using a Logical Hierarchy
Maintaining Strong Cache Consistency in the World Wide Web
Managing Large-Scale Service Deployment: Proc./19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008. Samos Island, Greece, September 2008
Managing Replicated Remote Procedure Call Transactions
Managing Virtualization of Networks and Services: Proc./18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007. San Jose, CA, USA, October 2007
Massively Multi-Agent Systems II: Revised Selected Papers/ International Workshop, MMAS 2018, Stockholm, Sweden, July 2019
Massively Multi-Agent Technology: Selected and Revised Papers/AAMAS Workshops MMAS/LSMAS 2006 & CCMS 2007. Hakodate, Japan, May 2006; Honolulu, HI, USA, May 2007
Mathematical Foundations of Computer Science 2008: Proc./33rd International Symposium, MFCS 2008. Torun, Poland, August 2008
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 2010
Membrane Computing: Revised Selected Papers/11th International Conference, CMC 2010, Jena, Germany, August 2010
Membrane Computing: Revised Selected Papers/19th International Conference, CMC 2018, Dresden, Germany, September 2018
Merging Estelle with TLA+ - work in progress
Methods and Technologies of Digital Historical Factography
Methods, Models and Tools for Fault Tolerance
Middleware 2000: Proc./IFIP/ACM Intern. Conf. on Distributed Systems Platforms. New York, NY, USA, April 2000
Middleware 2001: Proc./IFIP-ACM Intern. Conf. on Distributed Systems Platforms, Heidelberg, Germany, November 2001
Middleware 2005: Proc./ACM/IFIP/USENIX 6th International Middleware Conference. Grenoble, France, November/December 2005
Middleware 2011: Proc./ ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 2011
Middleware 2012: Proc./ACM/IFIP/USENIX 13th International Middleware Conference, Montreal,QC.Canada, December 2012
Middleware: A Model for Distributed System Services