Sciweavers

2584 search results - page 276 / 517
» On the Forward Checking Algorithm
Sort
View
IPPS
2003
IEEE
15 years 8 months ago
Parallel Direct Solution of Linear Equations on FPGA-Based Machines
The efficient solution of large systems of linear equations represented by sparse matrices appears in many tasks. LU factorization followed by backward and forward substitutions i...
Xiaofang Wang, Sotirios G. Ziavras
ISCAS
2003
IEEE
93views Hardware» more  ISCAS 2003»
15 years 8 months ago
A rescheduling and fast pipeline VLSI architecture for lifting-based discrete wavelet transform
In this paper, we propose a fast pipeline VLSI architecture for 1D lifting-based discrete wavelet transform (DWT). This design method merges the filtering steps called the predict...
Bing-Fei Wu, Chung-Fu Lin
111
Voted
NLPRS
2001
Springer
15 years 7 months ago
Hierarchical Phrase Alignment Harmonized with Parsing
In this paper, we propose a hierarchical phrase alignment method that aims to acquire translation knowledge. Previous methods utilize the correspondence of sub-trees between bilin...
Kenji Imamura
INFOCOM
2000
IEEE
15 years 7 months ago
Bowman: A Node OS for Active Networks
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...
Shashidhar Merugu, Samrat Bhattacharjee, Ellen W. ...
CISC
2007
Springer
155views Cryptology» more  CISC 2007»
15 years 7 months ago
ECDSA-Verifiable Signcryption Scheme with Signature Verification on the Signcrypted Message
Abstract. In this paper, we propose a signcryption scheme which provides all the following properties at the same time. (1) forward security: the private key of a sender does not h...
Raylin Tso, Takeshi Okamoto, Eiji Okamoto