1449 search results - page 239 / 290 » Self-Randomized Exponentiation Algorithms |
161
click to vote
GBRPR
2007
Springer
16 years 4 days ago
2007
Springer
In the field of structural pattern recognition graphs constitute a very common and powerful way of representing patterns. In contrast to string representations, graphs allow us to ...
154
click to vote
ICDT
2007
ACM
16 years 4 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
168
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
150
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
150
click to vote
ACSD
2006
IEEE
16 years 2 days ago
2006
IEEE
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for...