1559 search results - page 19 / 312 » The Semantics of Future and Its Use in Program Optimizations |
184
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
ANOR
2007
14 years 9 months ago
2007
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
ATVA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
IWQOS
2005
Springer
15 years 3 months ago
2005
Springer
An important feature of future context-aware and adaptive networks would be the ability to provide QoS to user flows. Our approach enables end-hosts and other devices to expose an...
ICCD
2004
IEEE
2004
IEEE
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
15 years 6 months ago
In this paper we discuss the application of circuit-based logical reasoning to simplify optimization problems expressed as integer linear programs (ILP) over circuit states. We de...