Sciweavers

3381 search results - page 432 / 677
» adaptive 2007
Sort
View
AAECC
2007
Springer
87views Algorithms» more  AAECC 2007»
15 years 6 months ago
Towards an accurate performance modeling of parallel sparse factorization
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
Laura Grigori, Xiaoye S. Li
AI
2007
Springer
15 years 6 months ago
Iterated belief revision, revised
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...
Yi Jin, Michael Thielscher
CORR
2007
Springer
101views Education» more  CORR 2007»
15 years 6 months ago
Variable-Rate Distributed Source Coding in the Presence of Byzantine Sensors
— The distributed source coding problem is considered when the sensors, or encoders, are under Byzantine attack; that is, an unknown number of sensors have been reprogrammed by a...
Oliver Kosut, Lang Tong
CORR
2007
Springer
116views Education» more  CORR 2007»
15 years 6 months ago
DOEF: A Dynamic Object Evaluation Framework
Abstract. In object-oriented or object-relational databases such as multimedia databases or most XML databases, access patterns are not static, i.e., applications do not always acc...
Zhen He, Jérôme Darmont
CORR
2007
Springer
47views Education» more  CORR 2007»
15 years 6 months ago
Resource control of object-oriented programs
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
Jean-Yves Marion, Romain Péchoux