3239 search results - page 455 / 648 » A Logical Process Calculus |
135
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
114
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
230
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Today's high-performance single-chip CMOS microprocessors are the most complex and challenging chip designs ever implemented. To stay on the leading edge, Digital's micro...
140
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...
132
Voted
DFT
2004
IEEE
15 years 7 months ago
2004
IEEE
Quantum dot Cellular Automata (QCA) is amongst promising new computing scheme in the nano-scale regimes. As an emerging technology, QCA relies on radically different operations in...