1937 search results - page 321 / 388 » Adaptation-based programming in java |
126
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
158
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
118
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
147
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
107
Voted
IWPC
2008
IEEE
15 years 11 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...