6554 search results - page 981 / 1311 » Constraint Logic Programming |
292
click to vote
ISPD
2012
ACM
14 years 17 days ago
2012
ACM
As technology scales and frequency increases, a new design style is emerging, referred to as hybrid designs, which contain a mixture of random logic and datapath standard cell com...
186
click to vote
SIAMCOMP
2012
13 years 7 months ago
2012
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
167
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
134
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
196
click to vote
JDCTA
2010
14 years 11 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...