10910 search results - page 164 / 2182 » Input modeling using a computer algebra system |
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
114
click to vote
SCP
2000
14 years 10 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
74
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...