16 search results - page 3 / 4 » Component Reuse in B Using ACL2 |
ENVSOFT
2006
13 years 6 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
ISCAS
2006
IEEE
13 years 12 months ago
2006
IEEE
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
ACISP
2008
Springer
14 years 10 days ago
2008
Springer
The elastic block cipher design employs the round function of a given, b-bit block cipher in a black box fashion, embedding it in a network structure to construct a family of ciphe...
DAC
1999
ACM
13 years 10 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
DAC
2009
ACM
14 years 7 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...