4586 search results - page 158 / 918 » Computing stable models in parallel |
125
Voted
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
151
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
255
Voted
SECO
2010
14 years 10 months ago
2010
In the Search Computing project, Web services are modeled by the Semantic Resource Framework (SRF). In this article, we argue that the SRF could benefit from ontological concepts b...
157
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Advances in fabrication techniques are now enabling new hybrid CPU/FPGA computing resources to be integrated onto a single chip. While these new hybrids promise significant perfor...
152
Voted
ASAP
2009
IEEE
16 years 24 days ago
2009
IEEE
—Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretize...