George W. Zobrist

A definition optimization technique used in a code translation algorithm

Data flow analysis is used to optimize variable definitions in a program that translates microprocessor object code to a higher order language.

An Inferencing Language for Automated Spatial Reasoning about Graphic Entities

A method is proposed for automated reasoning about graphic entities. First, a formal representation scheme is suggested for persistently storing graphic information as fundamental graphic entity types. Next, fundamental relationships between these types are identified. A formal, graphic entity reasoning based inference language (GERBIL) is then presented to implement the relationships. An architecture is proposed, linking a computer graphic system for persistent entity storage with a knowledge based system shell for inferencing. A prototype system, Dafne, demonstrates proof of principle.

Academia and ordinance [My First Job]

George W. Zobrist, an associate editor with IEEE Potentials, looks back at his 50-year career.

Automation of Transformation Schemas for ObjectOriented SimulationsFigures 7.3a, 7.4a, 7.4b, 7.4c, and 7.10.14 are reprinted from An objectoriented simulation procedure for automating transformation, by C. Coomber, in International Journal in Computer Simulation with permission from the author and Ablex Publishing Corporation.

This chapter contains sections titled: Introduction The Transformation Schema The SEE Object-Oriented Modeling Scheme Object Mapping Example??????-??????A Door Security System Executing a System of Objects Execution Example??????-??????Door Security System Revisited Conclusion Appendix This chapter contains sections titled: References ]]>

ObjectOriented Frameworks for Multilevel Simulation Modeling

This chapter contains sections titled: Introduction Motivations for Multilevel Modeling Techniques Simulation Time Management and World Views Multilevel Modeling in Smalltalk-80 Multilevel Modeling in C++ Conclusions and Future Directions This chapter contains sections titled: References ]]>

The Object Flow Model for ObjectOriented Simulation and Database Application Modeling

This chapter contains sections titled: Introduction Background and Related Work The Object Flow Model (OFM) Object Flow Model for Simulation Relationship of the OFM to Other Work Conclusions and Future Work Appendix: Worked Example??-??Resort Reservation System This chapter contains sections titled: References

A finite machine description of a lexical analysis using table look-up

A lexical analysis is described using a finite state machine to express the top level of the algorithm. The lexical analyzer exploits table lookup to facilitate the determination of tokens. The table lookup procedure alleviates the process of developing a conplicated set of construction rules.

Lexical analysis using table look-up (abstract)

Lexical analysis [~lo 77} is concerned with scanning the input for significant clusters of characters called tokens. The input stream of characters is analyzed by using delimiters and a careful description of the way various types of tokens may be constructed. There are circumstances in which this approach is not sufficiently flexible. It may not be convenient to define the nature of tokens by giving a set of rules of construction.

Reading up books: Computer-aided circuit analysis and design: A discussion of the role of the digital computer in circuit analysis and design is followed by a review of current literature

The impact of the digital computer in circuit analysis and design has changed the electrical engineers outlook: EEs are now able to analyze circuits they could not have hoped to solve analytically 20 years ago.