4719 search results - page 291 / 944 » Newtonian program analysis |
153
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
161
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
We present the first randomized polynomial-time simplex algorithm for linear programming. Like the other known polynomial-time algorithms for linear programming, its running time ...
171
click to vote
POPL
2010
ACM
16 years 26 days ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
155
click to vote
HICSS
2009
IEEE
16 years 25 days ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...
164
click to vote
HYBRID
2010
Springer
16 years 15 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...