2421 search results - page 278 / 485 » Integrity Assurance Technique Using Determinant Approach |
150
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Retargetable C compilers are nowadays widely used to quickly obtain compiler support for new embedded processors and to perform early processor architecture exploration. One frequ...
135
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
131
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
150
Voted
APWEB
2004
Springer
15 years 10 months ago
2004
Springer
Many web sites incorporate dynamic web pages to deliver customized contents to their users. However, dynamic pages result in increased user response times due to their construction...
143
click to vote
ICCAD
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...