308 search results - page 31 / 62 » Verification of object-oriented simulation designs |
119
Voted
DEXA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
111
Voted
CSCWD
2009
Springer
15 years 9 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
135
Voted
MCS
2008
Springer
15 years 2 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
141
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
137
Voted
RCC
2002
15 years 2 months ago
2002
In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...