936 search results - page 103 / 188 » The Synthesis Problem of Netcharts |
117
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
133
Voted
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
105
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper provides a reformulation of closed-loop systems that have negative imaginary frequency response to closed-loop systems that have bounded gain, so that theory and res...
117
Voted
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
118
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...