5090 search results - page 526 / 1018 » Constructing Strategies for Programming |
196
click to vote
PPOPP
2005
ACM
16 years 16 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
184
click to vote
EMSOFT
2005
Springer
16 years 15 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
168
click to vote
VMCAI
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
186
click to vote
DOCENG
2004
ACM
16 years 12 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
218
click to vote
WOSS
2004
ACM
16 years 11 days ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...