1342 search results - page 185 / 269 » Ordered Programs as Abductive Systems |
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...
ESEM
2009
ACM
14 years 3 months ago
2009
ACM
This article describes a survey which aims to identify the relative importance of a set of factors that affect the motivation of software engineers at work. The conceptual underpi...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we present a novel integer programming (IP) optimization formulation for downlink OFDM subchannel allocations in a multicell system and propose viable sub-optimal so...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Much attention has been paid to the problem of optimally utilizing resources such as spectrum, power and time in order to achieve the best video delivery quality in wireless commu...
CC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...