6020 search results - page 606 / 1204 » A New Approach to Model Counting |
158
click to vote
DATE
2010
IEEE
16 years 9 days ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
173
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
208
click to vote
WSC
2007
15 years 9 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
187
click to vote
NIPS
2007
15 years 8 months ago
2007
Point process encoding models provide powerful statistical methods for understanding the responses of neurons to sensory stimuli. Although these models have been successfully appl...
226
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...