Sciweavers

8582 search results - page 307 / 1717
» Here or There
Sort
View
SBACPAD
2007
IEEE
121views Hardware» more  SBACPAD 2007»
16 years 1 months ago
DTA-C: A Decoupled multi-Threaded Architecture for CMP Systems
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
Roberto Giorgi, Zdravko Popovic, Nikola Puzovic
SEFM
2007
IEEE
16 years 1 months ago
Run-time Composition and Adaptation of Mismatching Behavioural Transactions
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
Javier Cámara, Gwen Salaün, Carlos Can...
SMC
2007
IEEE
16 years 1 months ago
ADtrees for sequential data and n-gram Counting
Abstract— We consider the problem of efficiently storing ngram counts for large n over very large corpora. In such cases, the efficient storage of sufficient statistics can ha...
Robert Van Dam, Dan Ventura
TASE
2007
IEEE
16 years 1 months ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
VTC
2007
IEEE
364views Communications» more  VTC 2007»
16 years 1 months ago
Outage Probability of MIMO Systems with Receive Antenna Selection in Spatially Correlated Rayleigh Fading Channels
—We consider a receive antenna selection MIMO system, where only one receive antenna is selected out of Nr antennas. Spatial channel correlation will be considered at the receive...
Zhemin Xu, Sana Sfar, Rick S. Blum