6020 search results - page 750 / 1204 » A New Approach to Model Counting |
198
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
188
click to vote
TCAD
2002
15 years 6 months ago
2002
Chemical-mechanical polishing (CMP) and other manufacturing steps in very deep submicron VLSI have varying effects on device and interconnect features, depending on local character...
182
click to vote
ECBS
2006
IEEE
16 years 26 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
203
click to vote
ISORC
2003
IEEE
16 years 2 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
212
click to vote
RTCSA
2003
IEEE
16 years 2 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...