11484 search results - page 470 / 2297 » Modeling in the Large and Modeling in the Small |
179
click to vote
PARA
2004
Springer
16 years 12 days ago
2004
Springer
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
216
click to vote
APWEB
2010
Springer
15 years 12 months ago
2010
Springer
— A set of lifelogs is a dataset that describes a person’s life. A high quality and large set of lifelogs is expected to be useful for many applications. Only by integrating th...
210
click to vote
COMPOS
1997
Springer
15 years 11 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
174
click to vote
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...
176
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
Numerical solution of any large, three-dimensional fluid flow problem is a computationally intensive task that typically requires supercomputer solution to achieve reasonable exec...