350 search results - page 36 / 70 » Soft Linear Set Theory |
137
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
137
click to vote
ICCAD
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
120
click to vote
TSP
2008
15 years 3 months ago
2008
Abstract--We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in linear algebra. Special attention is giv...
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
138
click to vote
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...