2468 search results - page 37 / 494 » A New Approach to Pseudoword Generation |
110
click to vote
DATE
2009
IEEE
15 years 8 months 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...
151
Voted
CASES
2006
ACM
15 years 7 months 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...
101
Voted
DATE
2008
IEEE
15 years 8 months 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...
128
Voted
ICC
2008
IEEE
15 years 8 months 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...
128
click to vote
AUIC
2006
IEEE
15 years 8 months 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...