5639 search results - page 420 / 1128 » Timed Abstract Non-interference |
125
click to vote
FCCM
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract This paper presents a design for a reconfigurable multiplier array. The multiplier is constructed using an array of 4 bit Flexible Array Blocks (FABs), which could be emb...
129
Voted
ADG
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
119
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
158
Voted
STOC
1998
ACM
15 years 8 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
129
click to vote
FPL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present different architectures to solve Boolean satisfiability problems in instance-specific hardware. A simulation of these architectures shows that for examples fro...