4276 search results - page 375 / 856 » Techniques for Empirical Validation |
179
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
180
click to vote
DAC
2006
ACM
16 years 25 days ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
185
click to vote
AVSS
2005
IEEE
16 years 14 days ago
2005
IEEE
This work describes a data fusion technique to improve performances in objects localization and tracking for automatic video surveillance systems. The developed strategy is design...
174
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
163
click to vote
ICDCS
2005
IEEE
16 years 14 days ago
2005
IEEE
Software-splitting is a technique for protecting software from piracy by removing code fragments from an application and placing them on a remote trusted server. The server provid...