321 search results - page 64 / 65 » Testing protocols modeled as FSMs with timing parameters |
WECWIS
2002
IEEE
15 years 3 months ago
2002
IEEE
Despite the large amounts of runtime needed to adequately solve a combinatorial auction (CA), existing iterative CA auction protocols require winner determination during every rou...
79
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
Contrary to popular belief, despite decades of research in fingerprints, reliable fingerprint recognition is an open problem. Extracting features out of poor quality prints is t...
81
Voted
WSCG
2004
14 years 11 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
96
Voted
TVLSI
2008
14 years 10 months ago
2008
Abstract--Technology scaling in the nanometer era has increased the transistor's susceptibility to process variations. The effects of such variations are having a huge impact ...