7167 search results - page 263 / 1434 » A Technique for Invariant Generation |
163
click to vote
SCOPES
2004
Springer
16 years 21 days ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...
167
click to vote
TAL
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
161
click to vote
ASIAN
2003
Springer
16 years 17 days ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
166
click to vote
ICES
2003
Springer
16 years 16 days ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
246
click to vote
EVOW
1999
Springer
15 years 11 months ago
1999
Springer
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...