1636 search results - page 46 / 328 » Type-Theoretic Functional Semantics |
112
Voted
DATE
2007
IEEE
15 years 9 months 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...
129
click to vote
TLCA
2005
Springer
15 years 8 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...
128
Voted
VIS
2007
IEEE
16 years 4 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. ...
128
Voted
WEBI
2004
Springer
15 years 8 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...
124
click to vote
RTSS
1993
IEEE
15 years 7 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...