BACKGROUND Currently, a signi? cant number of data centers require servers to have
improved performance and utility without increasing the physical space, cost, and …

BACKGROUND Object-oriented programming languages and techniques allow application
(or Software) developers to manage com plexity of application development by …

BACKGROUND As computer use has proliferated in today's Society, the number of methods
and systems for developing Software applications to run on these computers has also …

A system and method for efficient compilation and invocation of function type calls in a virtual
machine (VM), or other runtime environment, and particularly for use in a system that …

In programming language type theory, an existential type may be considered a construct
describing partial information about a set of values. Formally, existential types and their use …

BACKGROUND There are many existing ways of validating Software or aiding in the
development of low defect software. Early pro grams included assertions that halted a …

Disclosed systems and methods incorporate a sound and maximal causal model with
control flow information for maximum concurrency error detection in general multi threaded …

Example embodiments perform on-the-fly delivery of PGP encrypted data. A large data file is
broken into chunks which are encrypted and delivered to a pipe object. The bytes of a chunk …

A system and method for creating synthetic immutable classes. A processor identifies first
and second classes, instances of which include first and second data fields, respectively …

(57) ABSTRACT A system and method for efficient compilation and invocation of function
type calls in a virtual machine (VM), or other runtime environment, and particularly for use in …