Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions
Now showing items 247-249 of 3794
-
Closing the Window of Vulnerability in Multiphase memory transaction: The alewife transaction store
(1993-02)Multiprocessor architects have begun to explore several mechanisms such as prefetching, context-switching and software-assisted dynamic cache-coherence, which transform single-phase memory transactions in conventional ... -
Automatic language Identification Using a Segment-Based Approach
(1993-08)Automatic language Identification (ALI) is the problem of automatically identifying the language of an utterance through the use of a computer. In 1977, House and Neuburg proposed an approach to ALI which focused on the ... -
Correctness of Communications Protocols, A case Study
(1993-11)During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.


