1920 search results - page 99 / 384 » The Range Constraint: Algorithms and Implementation |
140
click to vote
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
99
Voted
SC
2000
ACM
15 years 8 months ago
2000
ACM
The method of discrete ordinates is commonly used to solve the Boltzmann radiation transport equation for applications ranging from simulations of fires to weapons effects. The ...
131
click to vote
TR
2008
15 years 3 months ago
2008
A custom genetic algorithm was developed and implemented to solve multiple objective multi-state reliability optimization design problems. Many real-world engineering design proble...
134
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
134
Voted
IJIT
2004
15 years 5 months ago
2004
Workflow Management Systems (WfMS) allow organizations to streamline and automate business processes and reengineer their structure. One important requirement for this type of syst...