4880 search results - page 891 / 976 » Manuals as Structured Programs |
149
click to vote
MSR
2006
ACM
16 years 10 days ago
2006
ACM
The development of libre (free/open source) software is usually performed by geographically distributed teams. Participation in most cases is voluntary, sometimes sporadic, and of...
197
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
180
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
187
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
166
click to vote
STACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract Abstract. Recent work in the analysis of randomized approximation algorithms for NP-hard optimization problems has involved approximating the solution to a problem by the ...