8719 search results - page 152 / 1744 » A Categorical Approach to Simulations |
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...
112
click to vote
WSC
1997
15 years 3 months ago
1997
The problem of selecting the best system from a finite set of alternatives is considered from a Bayesian decision-theoretic perspective. The framework presented is quite general,...
141
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
111
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
113
click to vote
ARC
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...