177 search results - page 14 / 36 » Modeling shared variables in VHDL |
IWFM
2003
15 years 1 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
102
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
WSC
2007
15 years 2 months ago
2007
This paper describes the use of a planning ontology of the domain of Aircraft Maintenance, Repair and Overhaul [MRO] at a USAF depot to produce a discrete event simulation model o...
134
Voted
ICANN
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present a Bayesian translational model for matching patterns in data sets which have neither co-occurring samples nor variables, but only a similar experiment design d...
109
click to vote
ANSS
2008
IEEE
15 years 6 months ago
2008
IEEE
It is common for simulation and analytical studies to model Internet traffic as an aggregation of mostly persistent TCP flows. In practice, however, flows follow a heavytailed ...