208 search results - page 17 / 42 » A Normal Form for Function Rings of Piecewise Functions |
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
IJCSS
2007
13 years 7 months ago
2007
This paper presents a low power driven synthesis framework for the unique class of nonregenerative Boolean Read-Once Functions (BROF). A two-pronged approach is adopted, where the...
IFL
2004
Springer
14 years 28 days ago
2004
Springer
One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an impe...
EOR
2006
13 years 7 months ago
2006
One of the central results of the paper is the Pontryagin maximum principle [16] which is considered in sufficient form for the linear case of impulsive differential equations. Th...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
Negation-limited circuits have been studied as a circuit model between general circuits and monotone circuits. In this paper, we consider limiting negations in formulas. The minimu...