44 search results - page 2 / 9 » Structuring Retrenchments in B by Decomposition |
ASM
2008
ASM
13 years 11 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
In 3D subband coding, Motion-Compensated Temporal Filtering (MCTF) technique, especially with the adaptive 5/3 wavelet kernel, efficiently exploits the temporal correlation among n...
DCC
2007
IEEE
14 years 9 months ago
2007
IEEE
We introduce the notion of an unrefinable decomposition of a 1-design with at most two block intersection numbers, which is a certain decomposition of the 1-designs collection of ...
ASPDAC
2010
ACM
13 years 7 months ago
2010
ACM
As Double Patterning Lithography(DPL) becomes the leading candidate for sub-30nm lithography process, we need a fast and lithography friendly decomposition framework. In this pape...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Structuring and mapping of a Boolean function is an important problem in the design of complex integrated circuits. Libraryaware constructive decomposition offers a solution to th...