2794 search results - page 184 / 559 » A New Architecture for Automated Modelling |
149
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
168
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
154
click to vote
DAC
2003
ACM
16 years 4 days ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
184
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...
176
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...