4325 search results - page 702 / 865 » Incremental computation with names |
200
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
158
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
165
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
158
click to vote
ACNS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
146
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that re...