Sciweavers

7167 search results - page 395 / 1434
» Answer Set Programming
Sort
View
124
Voted
SAGT
2010
Springer
167views Game Theory» more  SAGT 2010»
15 years 1 months ago
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It
Recent results showing PPAD-completeness of the problem of computing an equilibrium for Fisher’s market model under additively separable, piecewise-linear, concave utilities (pl...
Gagan Goel, Vijay V. Vazirani
119
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Best practices in extreme programming course design
Teaching (and therefore learning) eXtreme Programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-ha...
Kai Stapel, Daniel Lübke, Eric Knauss
249
Voted
CC
2009
Springer
141views System Software» more  CC 2009»
16 years 4 months ago
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, S...
PPOPP
2009
ACM
16 years 4 months ago
Exploiting global optimizations for openmp programs in the openuh compiler
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
Lei Huang, Deepak Eachempati, Marcus W. Hervey, Ba...
116
Voted
DBPL
2007
Springer
136views Database» more  DBPL 2007»
15 years 9 months ago
Analysis of Imperative XML Programs
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
Michael G. Burke, Igor Peshansky, Mukund Raghavach...