第38届ISMVL 2008:美国德克萨斯州达拉斯
第38届IEEE多值逻辑国际研讨会(ISMVL 2008),2008年5月22日至23日,美国德克萨斯州达拉斯。 IEEE计算机学会 2008 ,国际标准图书编号 978-0-7695-3155-7 托马斯·威廉姆斯 :
EDA拯救硅谷路线图。 1 马克·H·诺丁 , Craig M.文件 :
在硅中实现多值逻辑的成熟方法。 2-7 Hirokatsu Shirahama白浜 , 高弘韩愈 :
基于输出发生器共享的高性能四元加法器设计。 8-13 平崎秋弘 , 三浦正太郎 , 松本厚司 , 高弘韩愈 :
使用TMR器件的多值电流模式电路的电压变化补偿。 14-19 Yasushi Yuminaka先生 , 高桥雅素(Yasunori Takahashi) :
用于多值数据均衡的时域预加重技术。 20-25 丹·西莫维奇 :
格中的介数、度量和熵。 26-31 哈吉姆·马奇达 , 约万卡·潘托维奇 :
关于{0,1}上的极大超克隆——一种新方法。 32-37 哈吉姆·马奇达 , 塔马斯·沃尔德豪斯 :
最小克隆中的多数多项式和其他多项式。 38-43 多伊娜·洛戈法图 , 罗尔夫·德雷克斯勒 :
通过解决试验压实问题进行对比研究。 44-49 Shinobu Nagayama公司 , 佐佐佐木 :
用EVMDD表示二元初等函数及其在函数生成器中的应用。 50-56 佐佐佐木 :
关于分类函数的复杂性。 57-63 Craig M.文件 , 马克·H·诺丁 :
添加了零值和所有值边缘的MDD。 64-69 长井铃木 , 小泽直哉 , 高弘韩愈 :
用于大规模多值电流模式电路的使用延迟表的高速时序验证方案。 70-75 克劳迪奥·莫拉加 :
谱变换下的排列。 76-81 克劳迪奥·莫拉加 , 苏珊娜·斯托伊科维奇 , 拉多米尔·斯坦科维奇 :
Reed Muller域中的不动点和循环。 82-87 霍萨姆·A·阿莱姆 , 费尔达·马维图纳 , 大卫·H·格林 :
模拟基因表达调控的伽罗瓦场方法。 88-93 Stephan Eggersglüß , 罗尔夫·德雷克斯勒 :
基于SAT的ATPG中布尔编码对路径延迟故障的影响。 94-99 维克多·切波伊 , 纳迪娅·克里诺 , 米基·赫尔曼 , 格诺·萨尔泽 :
有限值符号逻辑中命题公式的可满足性判定。 100-105 约塞普·阿盖利奇 , Alba Cabiscol公司 , Inés Lync公司 , Felip Manyá :
将Max-CSP编码为部分Max-SAT。 106-111 渡边由纪 , 瑙夫米·霍玛 , 德川克彦 , 青木Takafumi , 平口达雄 :
基于算术描述语言的多值算术电路的高层设计。 112-117 宫川正弘 , 莫里斯·普泽特 , 伊沃·G·罗森博格 , Hisayuki Tatsumi先生 :
有限集上的半刚性等价关系。 118-123 大卫·W·马图拉 :
高等基数计算基础。 124 莫扎梅尔·汗 , 纳菲萨·西迪卡 , 马雷克·佩考斯基(Marek A.Perkowski) :
使用四阶伽罗瓦场决策图的多输出四阶逻辑函数的四阶伽罗瓦场乘积和表达式的最小化。 125-130 安德烈亚·马西尼 , 卢卡·维甘 , 玛格丽塔·佐齐 :
量子寄存器变换的定性模态表示。 131-137 大卫·Y·范斯坦 , 米切尔·桑顿 , D.迈克尔·米勒 :
量子多值决策图的数据结构度量。 138-143 大卫·J·罗森鲍姆 , 马雷克·佩考斯基(Marek A.Perkowski) :
使用不相交素隐式的叠加量子态初始化(SQUID)。 144-149 Saoussen Bel Hadj Kacem公司 , 阿梅尔·博吉 , 哈立德·盖迪拉 :
基于符号多值框架中语言修饰语的广义模态Ponens。 150-155 劳尔·克鲁斯·卡诺 , 伊戈尔·艾森伯格 :
Caudo病毒复制起源预测的软计算方法。 156-162 丹尼尔·斯塔姆 :
多值逻辑中信息不完全的缺省推理。 163-168 博格丹·法尔科夫斯基 , 成福 :
最快四元线性独立算术变换的分类。 169-173 芥川一贵(Kazuki Akutagawa) , 卡祖亚·马奇达 , 高雄瓦霍 :
一种3/7级混合模式算法模数转换器。 174-179 冈田信介 , Michitaka Kameyama公司 :
使用基于通用迭代单元的细粒度多值可重构VLSI。 180-185 约翰·A·钱迪 , 费克尔·C·贾恩 :
使用3态量子点栅FET的多值逻辑。 186-190 马丁·卢卡奇 , 马雷克·A·佩尔科夫斯基 :
基于投影测量的量子电路逻辑综合。 191-196 西奥多·马尼卡斯 , 戴尔·提特斯 :
使用纳米电化学电池的多值逻辑存储系统设计。 197-201 米切尔·桑顿 , 大卫·W·马图拉 , 劳拉·斯宾纳 , D.迈克尔·米勒 :
一元算术运算的量子逻辑实现。 202-207 莫扎梅尔·汗 :
四元译码器、多路复用器和解复用器电路的可逆实现。 208-213 丹尼尔·格罗斯 , 罗伯特·威利 , 格哈德·杜克 , 罗尔夫·德雷克斯勒 :
可逆函数基本量子门电路的精确综合。 214-219 罗伯特·威利 , 丹尼尔·格罗 , 丽莎·特尤伯 , 格哈德·杜克 , 罗尔夫·德雷克斯勒 :
RevLib:可逆函数和可逆电路的在线资源。 220-225 西莉亚·洛扎诺 , 博格丹·法尔科夫斯基 , 塔德乌兹·卢巴 :
最快四元线性无关变换的性质和计算算法。 226-231 苏珊娜·米纳西安 , 雅科·阿斯托拉 , 卡伦·欧·埃吉亚萨里安 , 拉多米尔·斯坦科维奇 :
混合Reed-Muller-Haar变换及其在逻辑函数谱表示约简中的应用。 232-237 拉多米尔·斯坦科维奇 , Jaakko Astola公司 :
关于有限非贝拉群上函数的带宽和正则性的注记。 238-243
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)