5615 search results - page 894 / 1123 » On the Computational Capabilities of Several Models |
214
click to vote
SC
2009
ACM
15 years 12 months ago
2009
ACM
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
210
click to vote
LCN
2000
IEEE
15 years 11 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
288
click to vote
SIGIR
1992
ACM
15 years 11 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
209
click to vote
PDP
2010
IEEE
15 years 11 months ago
2010
IEEE
—The emergence of multi-core computers has led to explosive development of parallel applications and hence the need of efficient schedulers for parallel jobs. Adaptive online sc...
207
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...