Sciweavers

1379 search results - page 135 / 276
» Dynamic Program Slicing in Understanding of Program Executio...
Sort
View
99
Voted
CCS
2001
ACM
15 years 8 months ago
Dynamic Self-Checking Techniques for Improved Tamper Resistance
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
Bill G. Horne, Lesley R. Matheson, Casey Sheehan, ...
140
Voted
TOOLS
2000
IEEE
15 years 7 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
130
Voted
GPCE
2003
Springer
15 years 8 months ago
A Selective, Just-in-Time Aspect Weaver
Dynamic AOP (Aspect-Oriented Programming) is receiving growing interests in both the academia and the industry. Since it allows weaving aspects with a program at runtime, it is use...
Yoshiki Sato, Shigeru Chiba, Michiaki Tatsubori
135
Voted
CORR
2004
Springer
125views Education» more  CORR 2004»
15 years 3 months ago
High-Level Networking With Mobile Code And First Order AND-Continuations
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
Paul Tarau, Verónica Dahl
148
Voted
ICS
2009
Tsinghua U.
15 years 10 months ago
Dynamic topology aware load balancing algorithms for molecular dynamics applications
Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
Abhinav Bhatele, Laxmikant V. Kalé, Sameer ...