4074 search results - page 236 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
160
click to vote
PDCN
2004
15 years 8 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...
186
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...
166
click to vote
CHARME
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
189
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
181
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—1 In this paper we present a stochastic model order reduction technique for interconnect extraction in the presence of process variabilities, i.e. variation-aware extraction. It...