7557 search results - page 529 / 1512 » Modeling Timed Concurrent Systems |
196
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
153
click to vote
SIAMMA
2010
15 years 1 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
218
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Time synchronization is an essential service in distributed computing and control systems. It is used to enable tasks such as synchronized data sampling and accurate time-offlight...
184
click to vote
ISSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
302
click to vote
JBI
2011
15 years 1 months ago
2011
Automated approaches to promoting health behavior change, such as exercise, diet, and medication adherence promotion, have the potential for significant positive impact on society...