Sciweavers

1686 search results - page 79 / 338
» Higher Order Deforestation
Sort
View
SIGMETRICS
2003
ACM
199views Hardware» more  SIGMETRICS 2003»
15 years 9 months ago
Data cache locking for higher program predictability
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
Xavier Vera, Björn Lisper, Jingling Xue
LISA
2007
15 years 6 months ago
Inferring Higher Level Policies from Firewall Rules
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
Alok Tongaonkar, Niranjan Inamdar, R. Sekar
CORR
2011
Springer
156views Education» more  CORR 2011»
14 years 11 months ago
Extensional Collapse Situations I: non-termination and unrecoverable errors
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...
Antonio Bucciarelli
COMPUTING
2002
93views more  COMPUTING 2002»
15 years 3 months ago
Non-Nested Multi-Level Solvers for Finite Element Discretisations of Mixed Problems
We consider a general framework for analysing the convergence of multi-grid solvers applied to finite element discretisations of mixed problems, both of conforming and nonconformi...
V. John, P. Knobloch, Gunar Matthies, Lutz Tobiska
MOC
1998
73views more  MOC 1998»
15 years 3 months ago
Accelerated spectral approximation
Abstract. A systematic development of higher order spectral analysis, introduced by Dellwo and Friedman, is undertaken in the framework of an appropriate product space. Accelerated...
Rafikul Alam, Rekha P. Kulkarni, Balmohan V. Limay...