4854 search results - page 850 / 971 » It's the Programming, Stupid |
195
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...
179
click to vote
ACMICEC
2005
ACM
15 years 12 months ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
155
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
Garbage collection offers numerous software engineering advantages, but interacts poorly with virtual memory managers. Existing garbage collectors require far more pages than the ...
154
click to vote
PPOPP
2005
ACM
15 years 12 months ago
2005
ACM
As increasing the performance of single-threaded processors becomes increasingly difficult, consumer desktop processors are moving toward multi-core designs. One way to enhance th...
185
click to vote
SIGMETRICS
2005
ACM
15 years 12 months ago
2005
ACM
The running time of many applications is dominated by the cost of memory operations. To optimize such applications for a given platform, it is necessary to have a detailed knowled...