4693 search results - page 258 / 939 » Verifying Hybrid Systems |
159
click to vote
HIPEAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
154
click to vote
LREC
2008
15 years 8 months ago
2008
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
206
click to vote
ECIS
2003
15 years 8 months ago
2003
XML has been known as a document standard in representation and exchange of data on the Internet, and is also used as a standard language for the search and reuse of scattered doc...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The third generation partnership project (3GPP) has addressed the feasibility of interworking and specified the interworking architecture and security architecture for third gener...
164
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper studies the performance of hybrid-ARQ (automatic repeat request) in Rayleigh blockfading channels. The long-term average transmitted rate is analyzed in a fast-fading s...