Abstractions for distributed systems (DPA 2008)

被引：0
|
作者：
Jha, Shantenu
Katz, Dan
Parashar, Manish
Rana, Omer
Cole, Murray
机构：
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2009年 / 5415 LNCS卷
关键词：
D O I：
10.1007/978-3-642-00955-6_45
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Timed abstractions for distributed cooperative manipulation
    Verginis, Christos K.
    Dimarogonas, Dimos V.
    AUTONOMOUS ROBOTS, 2018, 42 (04) : 781 - 799
  • [22] Distributed embedded software systems at SEAA 2008
    University of Dortmund, Germany
    EUROMICRO - Proc. EUROMICRO Conf. Softw. Eng. Adv. Appl., SEAA, 2008, (xxi):
  • [23] Influence of different abstractions on the performance analysis of distributed hard real-time systems
    Perathoner, Simon
    Wandeler, Ernesto
    Thiele, Lothar
    Hamann, Arne
    Schliecker, Simon
    Henia, Rafik
    Racu, Razvan
    Ernst, Rolf
    Gonzalez Harbour, Michael
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2009, 13 (1-2) : 27 - 49
  • [24] The Profession of IT Systems Abstractions
    Denning, Peter J.
    COMMUNICATIONS OF THE ACM, 2022, 65 (04) : 22 - 24
  • [25] Abstractions for hybrid systems
    Tiwari, Ashish
    FORMAL METHODS IN SYSTEM DESIGN, 2008, 32 (01) : 57 - 83
  • [26] Influence of different abstractions on the performance analysis of distributed hard real-time systems
    Simon Perathoner
    Ernesto Wandeler
    Lothar Thiele
    Arne Hamann
    Simon Schliecker
    Rafik Henia
    Razvan Racu
    Rolf Ernst
    Michael González Harbour
    Design Automation for Embedded Systems, 2009, 13 : 27 - 49
  • [27] Abstractions for hybrid systems
    Ashish Tiwari
    Formal Methods in System Design, 2008, 32 : 57 - 83
  • [28] Integrating Abstractions to Enhance the Execution of Distributed Applications
    Turilli, Matteo
    Liu, Feng
    Zhang, Zhao
    Merzky, Andre
    Wilde, Michael
    Weissman, Jon
    Katz, Daniel S.
    Jha, Shantenu
    2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), 2016, : 953 - 962
  • [29] Conic Abstractions for Hybrid Systems
    Bogomolov, Sergiy
    Giacobbe, Mirco
    Henzinger, Thomas A.
    Kong, Hui
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 116 - 132
  • [30] Combinatorial Abstractions of Dynamical Systems
    Wisniewski, Rafael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 5 - 8
12345