2470 search results - page 316 / 494 » Liveness-Preserving Simulation Relations |
130
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a technique for fast estimation of the power consumed by the cache and bus sub-system of a parameterized system-on-a-chip design for a given application. The technique ...
133
Voted
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Since only simple symbol-based manipulations are needed,n-gram indexingis used for naturallanguageswhere syntactic or semantic analyses are often difficult. Music, whose automatic...
131
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
116
Voted
MM
2000
ACM
15 years 9 months ago
2000
ACM
The scope of this article is to clarify the current legal and political situation related to electronic surveillance on the one hand, and to export regulations for encryption soft...
121
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...