Sciweavers

340 search results - page 34 / 68
» On second order operators and quadratic operators
Sort
View
MSOM
2007
105views more  MSOM 2007»
13 years 8 months ago
Managing a Bank's Currency Inventory Under New Federal Reserve Guidelines
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
H. Neil Geismar, Milind Dawande, Divakar Rajamani,...
SPIN
2010
Springer
13 years 6 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
SIAMNUM
2011
124views more  SIAMNUM 2011»
13 years 3 months ago
Discrete Compactness for the p-Version of Discrete Differential Forms
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
Daniele Boffi, Martin Costabel, Monique Dauge, Les...
TSP
2010
13 years 3 months ago
A nondata-aided SNR estimation technique for multilevel modulations exploiting signal cyclostationarity
Signal-to-noise ratio (SNR) estimators of linear modulation schemes usually operate at one sample per symbol at the matched filter output. In this paper we propose a new method for...
Jaume Riba, Javier Villares, Gregori Vázque...
USENIX
1994
13 years 10 months ago
A Better Update Policy
y-filled data block results in a delayed write,Abstract while a modification that fills a block results in an immediate, although asynchronous, write. TheSome file systems can dela...
Jeffrey C. Mogul