Sciweavers

427 search results - page 32 / 86
» Simulation of Advanced Transaction Models Using GOLOG
Sort
View
IPPS
2006
IEEE
15 years 8 months ago
Improving cooperation in peer-to-peer systems using social networks
Rational and selfish nodes in P2P systems usually lack effective incentives to cooperate, contributing to the increase of free-riders, and degrading the system performance. Variou...
Wenyu Wang, Li Zhao, Ruixi Yuan
126
Voted
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 7 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
BCS
2008
15 years 3 months ago
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
Ross McFarlane, Irina V. Biktasheva
88
Voted
HPCC
2005
Springer
15 years 7 months ago
FAST-EVP: An Engine Simulation Tool
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
Gino Bella, Alfredo Buttari, Alessandro De Maio, F...
ESANN
2008
15 years 3 months ago
Simulation of a recurrent neurointerface with sparse electrical connections
With the technical development of multi-electrode arrays, the monitoring of many individual neurons has become feasible. However, for practical use of those arrays as bidirectional...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...