LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 100-102 of 486
-
The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems
(1994-11)A new solution to the Generalized Railroad Crossing problem, based on timed automata, invariants and simulation mappings, is presented and evaluated. The solution shows formally the correspondence between four system ... -
An Efficient Implementation of A Hierarchical Weighted Fair Queue Packet Scheduler
(1994-05)The technical developments in computer networks in recent years have spawned the possibility of merging different services into a single Integrated Service Packet Network (ISPN). The types of service quality required by ... -
Application of Minimal Perfect Hashing in Main Memory Indexing
(1994-05)With the rapid decrease in the cost of random access memory (RAM), it will soon become economically feasible to place full-text indexes of a library in main memory. One essential component of the indexing system is a ...
