2468 search results - page 37 / 494 » A New Approach to Pseudoword Generation |
160
click to vote
DATE
2009
IEEE
16 years 26 days ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
211
click to vote
CASES
2006
ACM
16 years 2 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
150
click to vote
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
178
click to vote
ICC
2008
IEEE
16 years 16 days ago
2008
IEEE
— Despite its efficiency, the general approach of hardcoding protocol format descriptions in packet processing applications suffers from many limitations. Among the others, the l...
179
click to vote
AUIC
2006
IEEE
16 years 5 days ago
2006
IEEE
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...