936 search results - page 138 / 188 » The Synthesis Problem of Netcharts |
DSD
2009
IEEE
14 years 1 months ago
2009
IEEE
Many reversible circuit synthesis procedures have been proposed. A common feature of most methods is that the initial specification must be a completely-specified reversible functi...
ASAP
2004
IEEE
14 years 1 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
ATAL
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
ASIAMS
2008
IEEE
13 years 11 months ago
2008
IEEE
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...