3130 search results - page 521 / 626 » Design Correctness of Digital Systems |
154
Voted
MOBICOM
2004
ACM
15 years 9 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
127
Voted
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
For the last two decades the notion and implementations of proxy signatures have been used to allow transfer of digital signing power within some context (in order to enable flexi...
178
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...
153
Voted
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
126
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Genetic Parallel Programming (GPP) is a novel Genetic Programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system in...