3815 search results - page 59 / 763 » An Implementation of Session Types |
DLS
2007
13 years 12 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
ENTCS
2008
13 years 8 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents an analogue integrated circuit implementation of a cortical neuron model. The VLSI chip prototype has been implemented in a 0.35 µm CMOS technology. The si...
IV
2002
IEEE
14 years 25 days ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
Under the background of the requirement of high availability and high performance on the basis of the large-scale distributing type application in agriculture, makes more research...