4117 search results - page 329 / 824 » On the Satisfiability of Complex Constraints |
190
click to vote
COOPIS
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
182
click to vote
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
150
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
- This paper presents a placement-driven technology mapping procedure based on fuzzy delay curves. The fuzziness has been introduced to deal with the inherent vagueness in wiring l...
182
click to vote
NOSSDAV
1993
Springer
15 years 11 months ago
1993
Springer
–A video-on-demand server must satisfy a large customer base and a diverse archive of movies under changing movie popularity and daily load peaks. These requirements must be sati...
202
click to vote
DATE
2007
IEEE
2007
IEEE
Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems
15 years 10 months ago
Energy-saving is extremely important in real-time embedded systems. Dynamic Voltage Scaling (DVS) is one of the prime techniques used to achieve energy-saving. Due to the uncertai...