1631 search results - page 136 / 327 » Observing Functional Logic Computations |
126
Voted
ECEASST
2008
15 years 3 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
141
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
In this paper we present a set cover based approach (SCP) to multi-way partitioning for minimum delay for Look-Up Table based FPGAs. SCP minimizes the number of chip-crossings on ...
140
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...
128
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
132
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...