537 search results - page 29 / 108 » A Call to Regularity |
136
Voted
LATA
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
103
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Textbooks tell us that a birthday attack on a hash function h with range size r requires r1/2 trials (hash computations) to find a collision. But this is quite misleading, being t...
108
Voted
ICCAD
2002
IEEE
16 years 11 days ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
139
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
126
click to vote
DSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Networks-on-Chip will serve as the central integration platform in future complex SoC designs, composed of a large number of heterogeneous processing resources. Most res...