936 search results - page 18 / 188 » The Synthesis Problem of Netcharts |
GPCE
2009
Springer
14 years 8 days ago
2009
Springer
MCSS
2006
Springer
13 years 7 months ago
2006
Springer
Within a lattice approach, the purpose of this paper is to give general necessary and sufficient conditions for internal stabilizability and for the existence of (weakly) left-/rig...
ICCAD
1992
IEEE
13 years 11 months ago
1992
IEEE
High-level synthesis (HLS) requires more designer interaction to better meet the needs of experienced designers. However, attempts to create a highly interactive synthesis process...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
SIGPRO
2011
12 years 10 months ago
2011
The problem of synthesizing multivariate stationary series Y [n] = (Y1[n], . . . , YP [n])T , n ∈ Z, with prescribed non-Gaussian marginal distributions, and a targeted covarian...