3171 search results - page 309 / 635 » Application of Reduce Order Modeling to Time Parallelization |
165
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
150
click to vote
WADS
2009
Springer
15 years 11 months ago
2009
Springer
The time required for a sequence of operations on a data structure is usually measured in terms of the worst possible such sequence. This, however, is often an overestimate of the ...
117
click to vote
CLUSTER
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents Two-Phase Compressed I/O (TPC I/O,) an optimization of the Two-Phase collective I/O technique from ROMIO, the most popular MPI-IO implementation. In order to r...
146
click to vote
WSC
2007
15 years 6 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
153
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...