276 search results - page 28 / 56 » Decomposition tool for event-B |
FPL
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
SCS
2003
14 years 11 months ago
2003
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
69
Voted
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
The lifting scheme provides a general and flexible tool for the construction of wavelet decompositions and perfect reconstruction filter banks. In this paper we propose an adaptiv...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...