1186 search results - page 116 / 238 » State machine models of timing and circuit design |
130
click to vote
MEMOCODE
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
—In kernel based regression techniques (such as Support Vector Machines or Least Squares Support Vector Machines) it is hard to analyze the influence of perturbed inputs on the ...
112
click to vote
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Discrete power allocation strategies for amplifyand-forward cooperative networks are proposed based on selective relaying methods. The goal of power allocation is to ma...
FDL
2003
IEEE
15 years 3 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...