1161 search results - page 194 / 233 » Resource Modeling for Timed Creol Models |
135
Voted
APPT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
166
click to vote
JSSPP
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we address the problem of finding workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end, we establish a n...
126
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
106
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
128
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...