18716 search results - page 3541 / 3744 » Automatic |
126
click to vote
MICAI
2000
Springer
15 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
135
Voted
MOBICOM
2000
ACM
15 years 8 months ago
2000
ACM
Compressing protocol headers has traditionally been an attractive way of conserving bandwidth over low-speed links, including those in wireless systems. However, despite the growt...
137
click to vote
PARA
2000
Springer
15 years 8 months ago
2000
Springer
Our proposal has the following key features: 1) The separation of a distributed program into a pure algorithm (PurAl) and a distribution/communication declaration (DUAL). This yie...
216
Voted
ARVLSI
1995
IEEE
15 years 8 months ago
1995
IEEE
Precomputation is a recently proposed logic optimization technique which selectively disables the inputs of a sequential logic circuit, thereby reducing switching activity and pow...
138
Voted
SMILE
2000
Springer
15 years 8 months ago
2000
Springer
Brute-forcedensematchingisusuallynotsatisfactorybecausethesame search range is used for the entire image, yielding potentially many false matches. In this paper, we propose a progr...