6,266,569: Method and system of computing similar to a turing machine
6,202,202: Pointer analysis by type inference for programs with structured memory objects and potentially inconsistent memory object accesses
6,182,108: Method and system for multi-threaded processing
6,167,423: Concurrency control of state machines in a computer system using cliques
6,128,774: Safe to execute verification of software
6,072,950: Pointer analysis by type inference combined with a non-pointer analysis
6,014,518: Terminating polymorphic type inference program analysis
5,995,958: System and method for storing and managing functions
5,978,789: Efficient hypothetical query evaluation in a database system
5,940,619: Dynamic fine-grained dependency analysis for a functional language
5,881,291: System for conversion of loop functions in continuation-passing style
5,867,649: Dance/multitude concurrent computation
5,748,966: Type error checker for type-free or polymorphic computer language
5,748,961: Efficient method and apparatus for compiling and linking modules of computer code in a large software system
5,500,881: Language scoping for modular, flexible, concise, configuration descriptions
: telephone system
6,374,111: System and method for robust automatic cell retune
6,373,946: Communication security
6,373,930: Method and system for monitoring telecommunications traffic
6,373,929: Bidding for telecommunications traffic
6,373,872: Channel-switched tunable laser for DWDM communications
6,371,765: Interactive computer-based training system and method
6,370,671: Configurable decoder and method for decoding a reed-solomon codeword
6,370,572: Performance management and control system for a distributed communications network
6,370,527: Method and apparatus for searching distributed networks using a plurality of search devices
6,370,380: Method for secure handover
6,370,303: Optical fiber cable with support member for indoor and outdoor use
6,370,280: Secure production of composite images
6,370,155: High density unit shelf network interface card and method
6,370,151: Method of provisioning nodes within a communications network
6,370,141: Method and apparatus for configuring an internet appliance
6,370,126: Mobile satellite communications system with local and global network
6,366,554: Multi-carrier transmission systems
6,363,488: Systems and methods for secure transaction management and electronic rights protection
6,363,480: Ephemeral decryptability
6,363,420: Method and system for heuristically designing and managing a network
6,363,411: Intelligent network
6,363,141: Method and apparatus for processing charges for a communication
6,363,128: Multi-carrier transmission systems
6,360,271: System for dynamic jitter buffer management based on synchronized clocks
6,359,926: Multi-carrier transmission systems
6,359,322: Avalanche photodiode having edge breakdown suppression
6,356,567: Embedded clock recovery and difference filtering for an MPEG-2 compliant transport stream
6,356,127: Phase locked loop
6,353,909: Configurable encoder and method for generating a Reed-Solomon codeword
6,353,902: Network fault prediction and proactive maintenance system
6,353,896: Method and apparatus for testing event driven software
6,353,785: Method and system for an in-vehicle computer architecture
6,353,779: Method for managing communication modes for an aircraft
6,353,737: Terminal and authorization card for a subscriber, telecommunications network, and method for modifying a service profile assigned to the subscriber
:
