846 search results - page 143 / 170 » On the Evolution of IMEDIA Implementations |
ICSE
2011
IEEE-ACM
13 years 8 days ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
SACMAT
2011
ACM
12 years 11 months ago
2011
ACM
Information leakage via the networks formed by subjects (e.g., Facebook, Twitter) and objects (e.g., blogosphere) − some of whom may be controlled by malicious insiders − ofte...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
SRDS
1998
IEEE
14 years 12 days ago
1998
IEEE
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...