Harmony: The art of reconciliation (Invited talk)

被引：0
|
作者：
Pierce, BC [1 ]
机构：
[1] Univ Penn, Philadelphia, PA 19104 USA
来源：
TRUSTWORTHY GLOBAL COMPUTING | 2005年 / 3705卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [31] Invited talk: Modern homology search
    Li, Ming
    Bioinformatics Research and Applications, Proceedings, 2007, 4463 : 145 - 145
  • [32] Believing the Integrity of a System (Invited Talk)
    Foley, Simon N.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (01) : 3 - 12
  • [33] Exact complexity and satisfiability (invited talk)
    Department of Computer Science and Engineering, University of California, San Diego, San Diego, CA 92093-0404, United States
    Lect. Notes Comput. Sci., (1-3):
  • [34] Algorithms for Energy Management (Invited Talk)
    Albers, Susanne
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 1 - 11
  • [35] Invited talk: Shape modeling for dummies
    Sheffer, Alla
    IEEE International Conference on Shape Modeling and Applications 2006, Proceedings, 2006, : 2 - 2
  • [36] MemComputing: Fundamentals and Application Invited Talk
    Di Ventra, Massimiliano
    PROCEEDINGS OF THE 20TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2023, CF 2023, 2023, : 1 - 1
  • [37] Structural Embeddings Revisited (Invited Talk)
    Munoz, Cesar
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 12 - 12
  • [38] Driving Types into PHP (Invited Talk)
    Kennedy, Andrew
    PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL WORKSHOP ON TYPE-DRIVEN DEVELOPMENT (TYDE' 17), 2017, : 1 - 1
  • [39] Scrap your boilerplate -: Invited talk
    Jones, SP
    Lämmel, R
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 357 - 357
  • [40] Invited Talk Memory: The Center of the Universe
    Murphy, Richard
    2013 IEEE WORKSHOP ON MICROELECTRONICS AND ELECTRON DEVICES (WMED), 2013, : XIX - XIX
12345