7109 search results - page 71 / 1422 » Process Algebra with Combinators |
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
129
click to vote
ECEASST
2006
15 years 3 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
125
click to vote
CONSTRAINTS
2010
15 years 17 days ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
117
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...