5387 search results - page 137 / 1078 » Generating generic functions |
100
click to vote
APPROX
2009
Springer
15 years 7 months ago
2009
Springer
The area of derandomization attempts to provide efficient deterministic simulations of randomized algorithms in various algorithmic settings. Goldreich and Wigderson introduced a n...
109
click to vote
ASIACRYPT
2006
Springer
15 years 4 months ago
2006
Springer
We propose a new type of guess-and-determine attack on the self-shrinking generator (SSG). The inherent flexibility of the new attack enables us to deal with different attack condi...
117
Voted
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
111
click to vote
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
124
Voted
CC
2001
Springer
15 years 4 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...