✦ LIBER ✦

A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

✍ Scribed by Michael Katelman; José Meseguer

Book ID: 108126861
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 347 KB
Volume: 176
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.06.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A continuum Lagrangian sensitivity analy

A continuum Lagrangian sensitivity analysis for metal forming processes with applications to die design problems

✍ Nicholas Zabaras; Yangang Bao; Akkaram Srikanth; William Garth Frazier 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 479 KB 👁 1 views

A continuum sensitivity analysis is presented for large inelastic deformations and metal forming processes. The formulation is based on the di erentiation of the governing ÿeld equations of the direct problem and development of weak forms for the corresponding ÿeld sensitivity equations. Special att

Hardware composites: a new conceptual to

Hardware composites: a new conceptual tool for the analysis and optimisation of steam turbine networks in chemical process industries: Part II: application to operation and design

✍ S.P Mavromatis; A.C Kokossis 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 766 KB

The principles behind the Hardware Composites have been explained in Part I. Part II discusses the application of the new development on operation and design problems. An alternative representation is introduced first, in view of the different objectives of these problems. In the context of operatio

[IEEE ASP-DAC '97: Asia and South Pacifi

[IEEE ASP-DAC '97: Asia and South Pacific Design Automation Conference - Chiba, Japan (28-31 Jan. 1997)] Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference - A hardware/software co-simulation environment for micro-processor design with HDL simulator and OS interface

✍ Ito, Y.; Nakamura, Y. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 627 KB

A computer-aided design tool for robustn

A computer-aided design tool for robustness analysis and control-relevant identification of Horizon Predictive Control with application to a binary distillation column

✍ K.S. Jun; D.E. Rivera; E. Elisante; V.E. Sater 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 851 KB

Statistics: A labToolsTM utility for sta

Statistics: A labToolsTM utility for statistical analysis regression: A labToolsTM utility for fitting non-linear functions to data: Recommended systems: Macintosh (512K enhanced) or PC running Microsoft Windows 2 or 3 ('286 or '386 processor with hard disk and mouse recommended): will recognise and use a maths co-processor if present. Price complete $349.50/£229.50 for first installation but parts may be purchased. Academic discount 20%. Price includes manual, delivery by airmail and technical support. Blackwell Scientific Software, Blackwell Scientific Publications, Osney Mead, Oxford, UK, OX2 OEL

✍ WH Bannister 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 150 KB