Sciweavers

5030 search results - page 291 / 1006
» cases 2007
Sort
View
DT
2007
65views more  DT 2007»
15 years 7 months ago
A Highly Scalable GALS Crossbar Using Token Ring Arbitration
- This paper presents a new low latency Crossbar design that can be used to interface systems working at different frequencies. For case of multiple input ports contending for same...
Tejpal Singh, Alexander Taubin
ENTCS
2007
107views more  ENTCS 2007»
15 years 7 months ago
Event Domains, Stable Functions and Proof-Nets
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
Samson Abramsky
161
Voted
FFA
2007
85views more  FFA 2007»
15 years 7 months ago
Ordinary abelian varieties having small embedding degree
Miyaji, Nakabayashi and Takano (MNT) gave families of group orders of ordinary elliptic curves with embedding degree suitable for pairing applications. In this paper we generalise ...
Steven D. Galbraith, James F. McKee, P. C. Valen&c...
IJFCS
2007
54views more  IJFCS 2007»
15 years 7 months ago
Pure and O-Substitution
The basic properties of distributivity and deletion of pure and o-substitution are investigated. The obtained results are applied to show preservation of recognizability in a numb...
Andreas Maletti
IJFCS
2007
63views more  IJFCS 2007»
15 years 7 months ago
Path-Equivalent Developments in Acyclic Weighted Automata
Weighted finite automata (WFA) are used with FPGA accelerating hardware to scan large genomic banks. Hardwiring such automata raises surface area and clock frequency constraints,...
Mathieu Giraud, Philippe Veber, Dominique Lavenier