460 search results - page 52 / 92 » RTL-Datapath Verification using Integer Linear Programming |
115
click to vote
ICTAI
1997
IEEE
15 years 5 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
120
Voted
JPDC
2008
15 years 2 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
125
Voted
WSC
2000
15 years 3 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
148
click to vote
KDD
2009
ACM
16 years 2 months ago
2009
ACM
Mining discrete patterns in binary data is important for subsampling, compression, and clustering. We consider rankone binary matrix approximations that identify the dominant patt...
133
click to vote
CCO
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...