3831 search results - page 440 / 767 » Dynamic Context Logic |
154
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
392
click to vote
ACTA
2011
15 years 1 months ago
2011
A simple mutual exclusion algorithm is presented that only uses nonatomic shared variables of bounded size, and that satisfies bounded overtaking. When the shared variables behave...
129
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We believe it is important for web graphic standards such as SVG to support user interaction and diagrams that can adapt their layout and appearance to their viewing context so as...
157
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a fair scheduling scheme for on-line scheduling on-demand time-critical data broadcast in the context of real-time information dissemination. The design of ...
126
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...