4586 search results - page 114 / 918 » Computing stable models in parallel |
100
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
126
Voted
HPCS
2005
IEEE
15 years 9 months ago
2005
IEEE
— With the principal goal of developing an alternative, relatively simple and tractable pricing framework for accurately reproducing a market implied volatility surface, this pap...
121
Voted
SC
1995
ACM
15 years 7 months ago
1995
ACM
As part of a NASA HPCC Grand Challenge project, we are designing and implementing a parallel atmospheric chemical tracer model that will be suitable for use in global simulations....
111
Voted
VR
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a parallel octree carving algorithm applied to real time 3D modeling from multiple video streams. Our contribution is to propose a parallel adaptive algorithm for high ...
125
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...