11484 search results - page 529 / 2297 » Modeling in the Large and Modeling in the Small |
190
click to vote
APN
2003
Springer
16 years 10 days ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
157
click to vote
DATE
2010
IEEE
16 years 6 days ago
2010
IEEE
With aggressive gate oxide scaling, latent defects in the gate oxide manifest as traps that, in time, lead to gate oxide breakdown. Progressive gate oxide breakdown, also referred...
178
click to vote
ISSRE
2002
IEEE
16 years 1 days ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
166
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is about gate sizing under a statistical delay model. It shows we can solve the gate sizing problem exactly for a given statistical delay model. The formulation used al...
163
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...