SHARE
TWEET

Macros

a guest Apr 27th, 2017 66 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. % COMMON MACROS FOR THE THESIS
  2. % For \xspace command.
  3. \usepackage{xspace}
  4.  
  5. \newcommand \COMMENT  [1] {}       % comment out the contents
  6.  
  7. \newcommand{\thesisDate}{August,~2013}
  8.  
  9. \newcommand{\KocUniversity}{Koç~University}
  10. \newcommand{\IstanbulTurkey}{İstanbul,~Turkey}
  11.  
  12. \newcommand{\tri}{\i{}}
  13. \newcommand{\trI}{\.{I}}
  14. \newcommand{\trs}{\c{s}}
  15. \newcommand{\trc}{\c{c}}
  16. \newcommand{\trg}{\v{g}}
  17. \newcommand{\tro}{\"{o}}
  18. \newcommand{\tru}{\"{u}}
  19. \newcommand{\trU}{\"{U}}
  20. \newcommand{\trC}{\c{C}}
  21. \newcommand{\trO}{\"{O}}
  22.  
  23. \newcommand{\tmark}{{\footnotesize $^{\circledR}$}}
  24.  
  25. \newcommand{\phd}{Ph.D.\xspace}
  26. \newcommand \event {\ensuremath{e}\xspace}
  27. \newcommand \trace {\ensuremath{\tau}\xspace}
  28. \newcommand \KUDA {{\sc Kuda}\xspace}
  29. \newcommand \FRAMESIZE {{\sc FrameSize}\xspace}
  30.  
  31. \newcommand{\intel}{Intel\tmark\xspace}
  32. \newcommand{\pentium}{Pentium\tmark\xspace}
  33. \newcommand{\microsoft}{Microsoft\tmark\xspace}
  34.  
  35. \newcommand{\msresearch}{\microsoft~Research\xspace}
  36. \newcommand{\msrc}{Multicore Software Engineering Research Center\xspace}
  37.  
  38. \newcommand{\multisettxt}{\mbox{Multiset}\xspace}
  39. \newcommand{\multisetTxt}{\mbox{Multiset}\xspace}
  40. \newcommand{\binarytreetxt}{\mbox{BinaryTree}\xspace}
  41. \newcommand{\boxwoodtxt}{\mbox{Boxwood}\xspace}
  42. \newcommand{\blinktreetxt}{\mbox{BLinkTree}\xspace}
  43. \newcommand{\allocatortxt}{\mbox{Chunk~Manager}\xspace}
  44. \newcommand{\allocator}{\allocatortxt}
  45. \newcommand{\cachetxt}{Cache\xspace}
  46. \newcommand{\cache}{\cachetxt}
  47. \newcommand{\code}[1]{\texttt{#1}\xspace}
  48. \newcommand{\define}[1]{\mbox{\emph{#1}}\xspace}
  49. \newcommand{\IOref}{\mbox{I/O-refinement}\xspace}
  50. \newcommand{\Vref}{\mbox{view-refinement}\xspace}
  51. \newcommand{\VRef}{\mbox{View-refinement}\xspace}
  52. \newcommand{\Aref}{\mbox{$\ActVis$-refinement}\xspace}
  53.  
  54. \newcommand{\vm}{VM\xspace}
  55. \newcommand{\TLA}{TLA\xspace}
  56. \newcommand{\TLAplus}{TLA+\xspace}
  57. \newcommand{\jpf}{JPF\xspace}
  58. \newcommand{\verisoft}{Verisoft\xspace}
  59. \newcommand{\concurrentjava}{\mbox{CONCURRENT~JAVA}\xspace}
  60. \newcommand{\spinmc}{SPIN\xspace}
  61.  
  62. \newcommand{\undecidable}{undecidable\xspace}
  63. \newcommand{\npcomplete}{\mbox{NP-\-complete}\xspace}
  64.  
  65. \newcommand{\sat}{\textsf{SAT}\xspace}
  66. \newcommand{\smt}{\textsf{SMT}\xspace}
  67.  
  68. \newcommand{\eclipse}{\mbox{Eclipse}\xspace}
  69.  
  70. \newcommand{\C}{\textsf{C}\xspace}
  71. \newcommand{\Csharp}{\textsf{\mbox{C\#}}\xspace}
  72. \newcommand{\dotnet}{\mbox{.Net}\xspace}
  73. \newcommand{\asml}{\mbox{AsmL}\xspace}
  74. \newcommand{\java}{\mbox{Java}\xspace}
  75. \newcommand{\jvm}{\mbox{JVM}\xspace}
  76. \newcommand{\Cplus}{\mbox{C{\small ++}}\xspace}
  77. \newcommand{\eraser}{{\sc Eraser}\xspace}
  78. \newcommand{\Eraser}{{\sc Eraser}\xspace}
  79. \newcommand{\goldilocks}{{\sc Gol\-dilocks}\xspace}
  80. \newcommand{\Goldilocks}{{\sc Gol\-dilocks}\xspace}
  81. \newcommand{\Fasttrack}{{\sc FastTrack}\xspace}
  82. \newcommand{\Djitplus}{\mbox{{\sc DJIT}$^+$}\xspace}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top