3171 search results - page 580 / 635 » Application of Reduce Order Modeling to Time Parallelization |
106
Voted
IV
2005
IEEE
15 years 8 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
112
click to vote
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
129
click to vote
JGTOOLS
2008
15 years 2 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
131
Voted
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
138
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Most of the current trust models in peer-to-peer (P2P) systems are identity based, which means that in order for one peer to trust another, it needs to know the other peer’s ide...