10038 search results - page 254 / 2008 » Model Checking for Managers |
160
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
175
click to vote
ASPDAC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
137
click to vote
ADAEUROPE
2003
Springer
15 years 10 months ago
2003
Springer
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
128
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
179
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...