1461 search results - page 12 / 293 » On Regular Reduced Products |
156
click to vote
RTA
2000
Springer
15 years 9 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
179
click to vote
FSTTCS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
108
click to vote
OOPSLA
2007
Springer
16 years 4 days ago
2007
Springer
Various issues make framework development harder than regular development. Building product lines and frameworks requires increased coordination and communication between stakehol...
163
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
168
click to vote
ACIVS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Full Search Block-Matching Motion Estimation (FSBME) algorithm is often employed in video coding for its regular dataflow and straightforward architectures. By iterat...