Abstractions for distributed systems (DPA 2008)

被引:0
|
作者
Jha, Shantenu
Katz, Dan
Parashar, Manish
Rana, Omer
Cole, Murray
机构
关键词
D O I
10.1007/978-3-642-00955-6_45
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [41] Abstractions of Stochastic hybrid systems
    Bujorianu, Manuela L.
    Bujorianu, Marius C.
    Lygeros, John
    2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4712 - 4717
  • [42] Learning Global Models Based on Distributed Data Abstractions
    Zhang, Xiaofeng
    Cheung, William K.
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1645 - 1646
  • [43] SwiSh: Distributed Shared State Abstractions for Programmable Switches
    Zeno, Lior
    Portsy, Dan R. K.
    Nelsony, Jacob
    Kimy, Daehyeok
    Feibishz, Shir Landau
    Keidar, Idit
    Rinberg, Arik
    Rashelbach, Alon
    De-Paula, Igor
    Silberstein, Mark
    PROCEEDINGS OF THE 19TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI '22), 2022, : 171 - 191
  • [44] The impact of distributed programming abstractions on application energy consumption
    Kwon, Young-Woo
    Tilevich, Eli
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (09) : 1602 - 1613
  • [45] Distributed asynchronous collections: Abstractions for publish/subscribe interaction
    Eugster, PT
    Guerraoui, R
    Sventek, J
    ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 2000, 1850 : 252 - 276
  • [46] Abstractions for fault-tolerant distributed system verification
    Pike, L
    Maddalon, J
    Miner, P
    Geser, A
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 257 - 270
  • [47] Service Abstractions With Fault Virtualization for Distributed Network Infrastructures
    Ravindran, Kaliappa
    Wu, Jun
    Adiththan, Arun
    17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT 2013), 2013, : 47 - 54
  • [48] Discrete asymptotic abstractions of hybrid systems
    Piovesan, Jorge L.
    Tanner, Herbert G.
    Abdallah, Chaouki T.
    PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 921 - +
  • [49] Abstractions of multi-agent systems
    Enea, Constantin
    Dima, Catalin
    MULTI-AGENT SYSTEMS AND APPLICATIONS V, PROCEEDINGS, 2007, 4696 : 11 - 21
  • [50] Compositional abstractions of hybrid control systems
    Tabuada, P
    Pappas, GJ
    Lima, P
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2004, 14 (02): : 203 - 238