295 search results - page 22 / 59 » Simultaneous Quantifier Elimination |
ICCAD
1991
IEEE
14 years 5 days ago
1991
IEEE
As feature sizes decrease and chip sizes increase, the area and performance of chips become dominated by the interconnect. In spite of this trend, most existing synthesis systems ...
ISCA
2011
IEEE
13 years 10 days ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
IPMI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present an exploratory method for simultaneous parcellation of multisubject fMRI data into functionally coherent areas. The method is based on a solely functional repr...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Spatial multiplexing in the multi-user MIMO (MUMIMO) downlink allows each user in the system to receive multiple data subchannels simultaneously using the same time and ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...