1699 search results - page 98 / 340 » On the Expressive Power of QLTL |
80
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...
97
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
As packet-switching interconnection networks replace buses and dedicated wires to become the standard on-chip interconnection fabric, reducing their power consumption has been ide...
118
Voted
BMCBI
2006
15 years 26 days ago
2006
Background: High-density microarray technology is increasingly applied to study gene expression levels on a large scale. Microarray experiments rely on several critical steps that...
81
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Ultra-Wideband (UWB) Geo-Regioning is an approach to localize UWB transmitters by means of their channel impulse responses. A received channel impulse response is assig...
104
Voted
JACM
2000
15 years 18 days ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...