4609 search results - page 737 / 922 » Automatic Generation of Sigma-Protocols |
148
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
Rapid growth of digital photography in recent years spurred the need of photo management tools. In this study, we propose an automatic organization framework for photo collections...
180
click to vote
ICNP
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
155
click to vote
INFOCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
158
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
173
click to vote
ISQED
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...