3750 search results - page 696 / 750 » Code Optimization for Code Compression |
128
click to vote
ESEM
2009
ACM
15 years 6 months ago
2009
ACM
Test coverage is a promising measure of test effectiveness and development organizations are interested in costeffective levels of coverage that provide sufficient fault removal w...
128
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
142
Voted
ERCIMDL
2000
Springer
15 years 6 months ago
2000
Springer
Segmentation of a colour image composed of different kinds of texture regions can be a hard problem, namely to compute for an exact texture fields and a decision of the optimum num...
130
Voted
CAV
1997
Springer
15 years 5 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
110
Voted
HPCN
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...