๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A behavioral type system and its application in Ptolemy II

โœ Scribed by Edward A. Lee; Yuhong Xiong

Publisher
Springer
Year
2004
Tongue
English
Weight
781 KB
Volume
16
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The design and application of structured
The design and application of structured types in Ptolemy II
โœ Yang Zhao; Yuhong Xiong; Edward A. Lee; Xiaojun Liu; Lizhi C. Zhong ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 616 KB

Ptolemy II is a component-based design and modeling environment. It has a polymorphic type system that supports both base types and structured types, such as arrays, records, and unions. This paper presents the extensions to the base type system that support structured types. In the base type system

Vorticity in He II and its application i
Vorticity in He II and its application in a cooling device
โœ F.A. Staas; A.P. Severijns ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 386 KB

## The significance of fhe Anderson equation, which relates the gradienf of fhe fhermodynamic potential to vortex motion, is demonsfrated. The interaction, between the superfluid and the normal fluid f7ow through a capillary, has been used as a cooling method. A compact cooling device (dimensions: