4164 search results - page 399 / 833 » Timing model reduction for hierarchical timing analysis |
193
Voted
WSC
1998
15 years 8 months ago
1998
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...
165
Voted
ACSD
2003
IEEE
16 years 5 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
184
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
273
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
197
click to vote
WSC
2004
15 years 8 months ago
2004
We discuss ASAP3, a refinement of the batch means algorithms ASAP and ASAP2. ASAP3 is a sequential procedure designed to produce a confidence-interval estimator for the expected r...