4695 search results - page 646 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
180
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
206
click to vote
HIS
2007
15 years 8 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
166
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
161
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Compressed domain image processing techniques are becoming increasingly important. Compressed domain retrieval It allows the calculation of image features and hence content-based ...
176
Voted
DAC
1996
ACM
15 years 11 months ago
1996
ACM
In this paper, we study the problem of decomposing gates in fanin-unbounded or K-bounded networks such that the K-input LUT mapping solutions computed by a depthoptimal mapper hav...