Sciweavers

6381 search results - page 371 / 1277
» Alternative Implementation of the C
Sort
View
IBMRD
2006
63views more  IBMRD 2006»
15 years 7 months ago
Decomposing the load-store queue by function for power reduction and scalability
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
Lee Baugh, Craig B. Zilles
COMCOM
2007
111views more  COMCOM 2007»
15 years 7 months ago
An argument for simple embedded ACL optimisation
The difficulty of efficiently reordering the rules in an Access Control List is considered and the essential optimisation problem formulated. The complexity of exact and sophistic...
Vic Grout, John Davies, John McGinn
CORR
2007
Springer
78views Education» more  CORR 2007»
15 years 7 months ago
GLRT-Optimal Noncoherent Lattice Decoding
Abstract—This paper presents new low-complexity lattice-decoding algorithms for noncoherent block detection of quadrature amplitude modulation (QAM) and pulse amplitude modulatio...
Daniel J. Ryan, Iain B. Collings, I. Vaughan L. Cl...
CSDA
2007
81views more  CSDA 2007»
15 years 7 months ago
A stochastic EM algorithm for a semiparametric mixture model
Recently, there has been a considerable interest in finite mixture models with semi-/non-parametric component distributions. Identifiability of such model parameters is generall...
Laurent Bordes, Didier Chauveau, Pierre Vandekerkh...
ENTCS
2007
86views more  ENTCS 2007»
15 years 7 months ago
Tinycals: Step by Step Tacticals
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacc...