16216 search results - page 339 / 3244 » Effective Modeling with Constraints |
164
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
189
Voted
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
208
click to vote
LCN
1998
IEEE
15 years 11 months ago
1998
IEEE
The hidden terminal problem is unique to wireless networks and as of now, there is very limited understanding about it's effects on network performance. Results are presented...
153
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Intelligent tutoring systems achieve much of their success by adapting to individual students. One potential avenue for personalization is feedback generality. This paper presents ...
207
click to vote
ICIS
2003
15 years 8 months ago
2003
Location-aware advertising is widely touted as the “killer-app” for mobile commerce to flourish. With the imminent rollout of third-generation mobile networks, advances in mul...