Sciweavers

1829 search results - page 191 / 366
» Towards Validation of Requirements Models
Sort
View
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
16 years 1 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
ICANN
2007
Springer
16 years 22 days ago
Some Properties of the Gaussian Kernel for One Class Learning
This paper proposes a novel approach for directly tuning the gaussian kernel matrix for one class learning. The popular gaussian kernel includes a free parameter, σ, that requires...
Paul F. Evangelista, Mark J. Embrechts, Boleslaw K...
VSTTE
2005
Springer
16 years 1 days ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
EUSFLAT
2001
15 years 8 months ago
Fuzzy logic in architectural design
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
Özer Ciftcioglu, S. Durmisevic
ISLPED
2003
ACM
152views Hardware» more  ISLPED 2003»
15 years 11 months ago
An MTCMOS design methodology and its application to mobile computing
The Multi-Threshold CMOS (MTCMOS) technology provides a solution to the high performance and low power design requirements of modern designs. While the low Vth transistors are use...
Hyo-Sig Won, Kyo-Sun Kim, Kwang-Ok Jeong, Ki-Tae P...