750 search results - page 11 / 150 » Using codesign techniques to support analog functionality |
IJCIA
2006
13 years 7 months ago
2006
Abstract-- This paper presents the enhanced frame-based video coding scheme. The input source video to the enhanced frame-based video encoder consists of a rectangular-size video a...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...
OOPSLA
1999
Springer
13 years 11 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
CODES
2005
IEEE
14 years 1 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 7 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...