4767 search results - page 758 / 954 » Structures for Abstract Rewriting |
WCNC
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Realization of all-digital baseband receiver processing for multi-Gigabit communication requires analog-to-digital converters(ADCs) of sufficient rate and output resolu...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Searching in metric spaces is a very active field since it offers methods for indexing and searching by similarity in collections of unstructured data. These methods sele...
GLVLSI
2007
IEEE
14 years 2 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...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract-- In this paper, we propose an H.264/AVC compliant bitdepth scalable coding solution. Our codec is capable of presenting an 8-bit AVC main profile or high profile base lay...