8196 search results - page 263 / 1640 » Computational Modeling and Complexity Science |
167
click to vote
TCS
1998
15 years 6 months ago
1998
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...
188
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
In this paper we discuss how to reconstruct 3D models from multi-view engineering draws by employing human engineers' approaches. Human's `divide and conquer' inter...
175
click to vote
PADS
2005
ACM
16 years 4 days ago
2005
ACM
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
165
click to vote
IPPS
2008
IEEE
2008
IEEE
Modeling and predicting application performance on parallel computers using HPC challenge benchmarks
16 years 1 months ago
A method is presented for modeling application performance on parallel computers in terms of the performance of microkernels from the HPC Challenge benchmarks. Specifically, the a...
144
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...