Brian Ralph Larson

Title: Brian Ralph Larson: Innovator in Concurrent Computation

Introduction

Brian Ralph Larson is a notable inventor based in Minneapolis, Minnesota. He has made significant contributions to the field of computer science, particularly in the area of concurrent computation. His innovative approach has led to the development of a unique computational model that enhances program execution efficiency.

Latest Patents

Brian Larson holds a patent for his invention titled "Dance/multitude concurrent computation." This invention computes by constructing a lattice of states. Every lattice of states corresponding to correct execution satisfies the temporal logic formula comprising a Definitive Axiomatic Notation for Concurrent Execution (DANCE) program. This invention integrates into a state-lattice computational model: a polymorphic, strong type system; visibility-limiting domains; first-order assertions; and logic for proving program correctness. The invention includes special hardware means for the elimination of cache coherency, which is necessary to construct state-lattices concurrently. The model of computation for the DANCE language consists of four interrelated logical systems describing state-lattices, types, domains, and assertions. A fifth logical system interrelates the other four systems, allowing proofs of program correctness. The method of the present invention teaches programs as temporal formulas satisfied by lattices of states corresponding to correct execution. State-lattices that are short and bushy allow the application of many processors simultaneously, thus reducing execution time.

Career Highlights

Brian Larson is currently associated with Multitude, Inc., where he continues to develop and refine his innovative ideas. His work has garnered attention for its potential to revolutionize how concurrent computations are handled in programming.

Collaborations

(Section skipped due to space constraints.)

Conclusion

Brian Ralph Larson's contributions to concurrent computation through his innovative patent demonstrate his expertise and commitment to advancing technology. His work continues to influence the field and pave the way for future innovations.