LCS Publications: Recent submissions

Now showing items 229-231 of 1152

    • Observing "True" Concurrency 

      Jategaonkar, Lalita A. (1993-09)
      In concurrent process theory, processors are often modeled by state machines and Petri Nets. Algebraic process theories based on state machines, exemplified by Milner's CCS and Hoare's CSP, have been more fully developed ...

    • Efficient Implementation of High-Level Languages on User-Level Communications Architectures 

      Hsieh, Wilson C.; Johnson, Kirk L.; Kaashoek, M. Frans; Wallach, Deborah A.; Weihl, William E. (1994-05)
      User-level communication architectures --- parallel architectures that give user code direct but protected access to the network --- provide communication performance that is an order of magnitude higher than previous-generation ...

    • Cellular Automata Methods in Mathematical Physics 

      Smith, Mark Andrew (1994-05)
      Cellular automata (CA) are fully discrete, spatially-distributed dynamical systems which can serve as an alternative framework for mathematical descriptions of physical systems. Furthermore, they constitute intrinsically ...