8228 search results - page 201 / 1646 » Structural Logical Relations |
131
click to vote
ARITH
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we investigate the implementation of basic arithmetic functions, such as addition and multiplication, in Single Electron Tunneling (SET) technology. First, we descri...
120
Voted
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
171
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
154
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
130
Voted
DIMACS
2001
15 years 6 months ago
2001
The notion of relative closure (X, Y )0 of a semi-Pfaffian couple (X, Y ) was introduced by Gabrielov to give a description of the o-minimal structure generated by Pfaffian functio...