4520 search results - page 5 / 904 » Algebraic Techniques for Timed Systems |
SIAMSC
2008
14 years 11 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
: Common sub-expression elimination (CSE) serves as a useful optimization technique in the synthesis of arithmetic datapaths described at RTL. However, CSE has a limited potential ...
JLP
2007
14 years 11 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
71
Voted
ICCD
1993
IEEE
15 years 3 months ago
1993
IEEE
97
Voted
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...