5639 search results - page 899 / 1128 » Timed Abstract Non-interference |
120
click to vote
FOCS
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract. Littlestone developed a simple deterministic on-line learning algorithm for learning k-literal disjunctions. This algorithm (called Winnow) keeps one weight for each of t...
131
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
133
click to vote
ICDT
1995
ACM
15 years 6 months ago
1995
ACM
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
122
click to vote
ISLPED
1995
ACM
15 years 6 months ago
1995
ACM
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL . Such a high-level power estimation capability is r...
116
click to vote
WG
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. In this paper, we investigate which processor networks allow klabel Interval Routing Schemes, under the assumption that costs of edges may vary. We show that for each xed...