This paper introduces a general scheme for formally embedding high level synthesis by formulating its basic steps as transformations within higher order logic. A functional representation of a data ow graph is successively reened by means of generic logical transformations. Algorithms that are based on logical transformations guarantee \correctness by design". They not only construct an impleme...

A New System-Level Speci cation Transformation Frank Vahid Department of Computer Science University of California, Riverside, CA 92521 [email protected] Abstract We introduce a new system-level speci cation transformation called procedure exlining. Exlining is the problem of replacing sequences of statements by procedure calls, which is the opposite problem of inlining. Procedures are used by s...

This paper presents a novel system inversion approach to the set-point regulation of linear scalar minimum-phase systems. This approach uses closed-form expressions of cause/e!ect pairs that make possible an arbitrarily smooth transition between two given output set-points. The cause/e!ect pairs are based on the introduced concept of `transitiona polynomials. Simple optimization procedures are ...

An equational approach to the synthesis of functional and logic program is taken. Typically, the synthesis task involves nding equations which make the given speci cation an inductive theorem. To synthesize such programs, induction is necessary. We formulate e cient procedures for inductive proof as well as program synthesis using the framework of ordered rewriting. We also propose heuristics f...

The rate of synthesis of the endoplasmic reticulum in barley aleurone cells after treatment with gibberellic acid was determined by measurement of [(14)C]-choline incorporation into acid-insoluble material in a semipurified fraction containing the endoplasmic reticulum. 94% of the (14)C incorporated into this fraction is extractable by lipid solvents and only 9% is removed by procedures for nuc...

The paper deals with the synthesis of passive networks and relies on general systems theory and control concepts. The network-synthesis problem is first interpreted in state-variable terminology, solved as a control problem and the solution is then translated back into network-theory terms. After a review of state-space formulations, an algebraic theory of synthesis is developed, beginning with...

background: cardiovascular disease is an important non-obstetric cause of maternal and fetal /neonatal morbidity and mortality during pregnancy. for a pregnant woman with cardiac disease, the potential inability of the maternal cardiovascular system to contend with normal pregnancy-induced physiologic changes may produce deleterious effects on both mother and fetus. to determine the most freque...

conclusions comparing the serum lactate level before operation and 24 hours after the operation showed that the number of received blood units had a significant effect on serum lactate. we found no significant effect for blood storage duration; however, the number of given blood units was more significant. patients and methods in a cross-sectional study, 228 patients referred to three hospitals...

conclusions for laterally localized and protruded duodenal diverticula, laparoscopic resection is a feasible and safe method. the role of laparoscopy in surgical treatment of complicated diverticula, located in other parts of the duodenum, is unclear because of lack of experience. case presentation in this article, we present a case report of a large duodenal diverticulum, treated with laparosc...

Based on a wavelet-type expansion of the Rosenblatt process, we introduce and examine two different practical ways to simulate the Rosenblatt process. The synthesis procedures proposed here are obtained by either truncating the series of the approximation term or using the approximation coefficients in the wavelet-type expansion of the Rosenblatt process. Both benefit from the low computational...