4513 search results - page 728 / 903 » Logic programming with satisfiability |
138
Voted
ICCAD
2002
IEEE
16 years 13 days ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
123
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
141
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
129
Voted
ESTIMEDIA
2009
Springer
15 years 10 months ago
2009
Springer
—Multimedia applications are often characterised by implicit temporal constraints but, in many cases, they are not programmed using any specialised real-time API. These “Legacy...
140
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...