462 search results - page 42 / 93 » Symbolic Bounded Synthesis |
124
click to vote
VLSID
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
129
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
145
click to vote
FPGA
2006
ACM
15 years 7 months ago
2006
ACM
Abstract--Field-programmable gate-array (FPGA) logic synthesis and technology mapping have been studied extensively over the past 15 years. However, progress within the last few ye...
127
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multi-input multi-output (MIMO) receivers have generally been designed and their communication performance analyzed under the assumption of additive Gaussian noise. Wireless tra...
130
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we are concerned with low-complexity detection in large multiple-input multiple-output (MIMO) systems with tens of transmit/receive antennas. Our new contributions i...