7075 search results - page 410 / 1415 » Models and heterogeneous reasoning |
180
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
198
Voted
FDL
2006
IEEE
16 years 28 days ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
177
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...
155
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
A multi-cluster computational environment with mixed-mode (MPI + OpenMP) parallelism for estimation of unknown regional electrical conductivities of the human head, based on realis...
184
click to vote
ICSR
2004
Springer
16 years 7 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...