5879 search results - page 1012 / 1176 » Separation - Past, Present, and Future |
162
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present the internal representation and optimizations used by the CASH compiler for improving the memory parallelism of pointer-based programs. CASH uses an SSA-b...
153
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
Given a collection C of circles in the plane, we wish to construct the arrangement A(C) (namely the subdivision of the plane into vertices, edges and faces induced by C) using fl...
171
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
188
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We study the problem of selling identical goods to n unit-demand bidders in a setting in which the total supply of goods is unknown to the mechanism. Items arrive dynamically, and...
180
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...