2251 search results - page 46 / 451 » Specification and Implementation Problems for C |
104
click to vote
CORR
2010
Springer
15 years 9 days ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
123
click to vote
GD
1997
Springer
15 years 6 months ago
1997
Springer
Although routing is a well-studied problem in various contexts, there remain unsolved problems in routing edges for graph layouts. In contrast with techniques from other domains su...
127
click to vote
FPL
2003
Springer
15 years 7 months ago
2003
Springer
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
106
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper focuses on SIMD implementations of the 2D discrete wavelet transform (DWT). The transforms considered are Daubechies’ real-to-real method of four coefficients (Daub-...
106
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
One of the difficult problems which core-based systemon-chip (SoC) designs face is test access. For testing the cores in a SoC, a special mechanism is required, since they are no...