1636 search results - page 46 / 328 » Type-Theoretic Functional Semantics |
145
click to vote
DATE
2007
IEEE
16 years 9 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
159
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
150
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Direct volume rendering techniques map volumetric attributes (e.g., density, gradient magnitude, etc.) to visual styles. Commonly this mapping is specified by a transfer function. ...
163
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
The future success of Grid-enabled e-Science depends on the availability of semantic/knowledge-rich resources on the Grid, i.e., the so-called semantic Grid. This requires not onl...
151
click to vote
RTSS
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...