8094 search results - page 290 / 1619 » Improvements in Formula Generalization |
145
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
183
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Approximately eighteen percent (18%) of babies born in New South Wales (NSW), Australia require special care or neonatal intensive care admission. Premature babies can be up to 17...
181
click to vote
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
Networked games can provide groupware developers with important lessons in how to deal with real-world networking issues such as latency, limited bandwidth and packet loss. Games ...
176
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
The ability to control the variations in IC fabrication process is rapidly diminishing as feature sizes continue towards the sub-100 nm regime. As a result, there is an increasing...
152
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...