Sciweavers

575 search results - page 57 / 115
» Multi-Valued Logic Synthesis
Sort
View
CCE
2008
13 years 10 months ago
Optimal synthesis of heat exchanger networks involving isothermal process streams
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
José María Ponce-Ortega, Arturo Jim&...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
13 years 8 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
AI
2010
Springer
13 years 5 months ago
Annotation Concept Synthesis and Enrichment Analysis
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
Mikhail Jiline, Stan Matwin, Marcel Turcotte
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
14 years 3 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
FPGA
1992
ACM
176views FPGA» more  FPGA 1992»
14 years 2 months ago
Minimization of Permuted Reed-Muller Trees for Cellular Logic
The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path...
Li-Fei Wu, Marek A. Perkowski