713 search results - page 79 / 143 » Saving Space by Algebraization |
88
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
101
Voted
BROADNETS
2005
IEEE
15 years 6 months ago
2005
IEEE
— We propose the creation of a wireless storage area network (SAN) and analyze its benefits. The proposed wireless SAN (WSAN) consists of a SAN switch that is connected to multi...
95
Voted
DSD
2005
IEEE
15 years 6 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
WABI
2005
Springer
15 years 6 months ago
2005
Springer
Phylogenetic tree searching algorithms often produce thousands of trees which biologists save in Newick format in order to perform further analysis. Unfortunately, Newick is neithe...
102
click to vote
IBERAMIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce a parameter (τ) that measures the constr...