2957 search results - page 211 / 592 » Code analysis and CS-XML |
123
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
121
Voted
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
VIRAM (Vector Intelligent Random Access Memory) is a vector architecture processor with embedded memory, designed for portable multimedia processing devices. Its vector processing...
109
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
146
Voted
VMCAI
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
113
click to vote
ICCAD
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...