1940 search results - page 250 / 388 » Graph Transformation with Variables |
119
click to vote
LOPSTR
1998
Springer
15 years 8 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
139
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
148
click to vote
CRYPTO
1993
Springer
15 years 8 months ago
1993
Springer
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
117
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
The concept of virtual holonomic constraints is extended to the case of double support, which is characterized by a closed kinematic chain and redundancy in the state variables. An...
122
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...