8719 search results - page 181 / 1744 » A Categorical Approach to Simulations |
WSC
1997
15 years 3 months ago
1997
The modeling of computer systems, particularly distributed systems, is presented with an emphasis on the system characteristics that are important to the model and some general me...
105
click to vote
BMAS
2000
IEEE
15 years 6 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
MS
2003
15 years 3 months ago
2003
This paper explores the potential of acausal modelling tools for a simple, but challenging process engineering benchmark problem. Matlab/Simulink illustrates a traditional block d...
TVLSI
2002
15 years 1 months ago
2002
The goal of this work was to simulate the effect of the finite conductivity of semiconductor substrates on the on-chip coupling inductance and then to investigate the effect of the...
105
click to vote
WABI
2009
Springer
15 years 8 months ago
2009
Springer
Background: Supertree methods comprise one approach to reconstructing large molecular phylogenies given multi-marker datasets: trees are estimated on each marker and then combined...