78 search results - page 7 / 16 » ProB: an automated analysis toolset for the B method |
DAC
2006
ACM
14 years 8 months ago
2006
ACM
This paper presents analysis methods for energy estimation in RC trees driven by time-varying voltage sources, e.g., buffers, timevarying power supplies, and resonant clock genera...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
ICCBR
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
MM
2010
ACM
13 years 5 months ago
2010
ACM
Sonic Visualiser is a friendly and flexible end-user desktop application for analysis, visualisation, and annotation of music audio files. Its stated goal is to be “the first...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...