3 search results - page 1 / 1 » A new symbolic computation for formal integration with exact... |
AMC
2005
13 years 8 months ago
2005
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...
FMCAD
2000
Springer
14 years 7 hour ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
CONCUR
1998
Springer
14 years 19 days ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...