1461 search results - page 12 / 293 » On Regular Reduced Products |
RTA
2000
Springer
14 years 9 days 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 ...
FSTTCS
2001
Springer
14 years 1 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...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Various issues make framework development harder than regular development. Building product lines and frameworks requires increased coordination and communication between stakehol...
NCA
2005
IEEE
14 years 2 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...
ACIVS
2005
Springer
14 years 2 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...