Sciweavers

769 search results - page 88 / 154
» Timed Circuit Synthesis Using Implicit Methods
Sort
View
BMCBI
2006
115views more  BMCBI 2006»
13 years 10 months ago
Multivariate curve resolution of time course microarray data
Background: Modeling of gene expression data from time course experiments often involves the use of linear models such as those obtained from principal component analysis (PCA), i...
Peter D. Wentzell, Tobias K. Karakach, Sushmita Ro...
OOPSLA
2010
Springer
13 years 8 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
MR
2002
63views Robotics» more  MR 2002»
13 years 9 months ago
Transient thermal analysis of multilayered structures using Green's functions
This paper presents an approach to the analysis of transient thermal states in electronic circuits using an analytical solution of the heat equation. Fully three-dimensional analy...
Marcin Janicki, Gilbert De Mey, Andrzej Napieralsk...
ICCAD
1999
IEEE
105views Hardware» more  ICCAD 1999»
14 years 2 months ago
Noise analysis of non-autonomous radio frequency circuits
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 7 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu