1755 search results - page 215 / 351 » An efficient simulation algorithm based on abstract interpre... |
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
132
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
118
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
158
click to vote
EMNLP
2010
15 years 1 months ago
2010
We describe a model for the lexical analysis of Arabic text, using the lists of alternatives supplied by a broad-coverage morphological analyzer, SAMA, which include stable lemma ...
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we deal with carrier frequency estimation for filter-bank multicarrier burst transmission over timefrequency selective fading channels. Three open-loop a...