Browsing LCS Publications by Title

Now showing items 1162-1163 of 1163

    • The X Window System 

      Scheifler, Robert W.; Gettys, Jim (1986-10)
      An overview of the X Window System is presented, focusing on the system substrate and the low-level facilities provided to build applications and to manage the desktop. The system provides high-performance, high-level, ...

    • Ω(n log n) Lower Bounds on Length of Boolean Formulas 

      Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S. (1980-11)
      A property of Boolean functions of n variables is described and shown to imply lower bounds as large as Ω(n log n) on the number of literals in any Boolean formula for any function with the property. Formulas over the full ...