7109 search results - page 71 / 1422 » Process Algebra with Combinators |
123
Voted
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
128
click to vote
ECEASST
2006
15 years 2 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]. ...
115
click to vote
CONSTRAINTS
2010
15 years 1 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...
113
Voted
DAC
2006
ACM
16 years 3 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...