Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having prior knowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
كتب مشابهة
Materials & sustainability building a circular future
Examines sustainable manufacturing, from the extraction of materials to processing, use, and disposal, and argues that significant changes in all of the above are needed for the world to progress toward a more circular economy. Materials and processing methods are usually chosen with performance as the key metric.
Composite materials : sustainable and eco-friendly materials and application
Covers innovations in the field of composite materials with a specific focus on eco-friendly and environmentally sustainable systems. All composite fields are explored, including polymer, metal, and ceramic matrix composites with an emphasis on sourcing raw materials in a sustainable way as well as the development of composite materials for environmental sustainability.
Building construction methods and systems : principles, requirements and application details
Presents practical information about the design and construction of building projects by addressing the principles of each method, unveiling background factors for requirements, and state-of-the-art application details, and presents general design and application principles of construction methods and technologies without diving into engineering calculations and formulas to keep the content easily understandable by all AEC practitioners and participants.
Material Modeling in Finite Element Analysis
Presents some specific problems including the metal-forming process, combustion room, Mullins effect of rubber tires, viscoelasticity of liver soft tissues, small punch test, tunnel excavation, slope stability, concrete slump test, orthodontic wire, and piezoelectric microaccelerometer.
