Sciweavers

13151 search results - page 571 / 2631
» Position based dynamics
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 1 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
189
Voted
GCC
2005
Springer
16 years 1 months ago
Dynamic Zone-Balancing of Topology-Aware Peer-to-Peer Networks
Building a topology-aware peer-to-peer overlay network can bring many advantages, such as providing locality-aware connectivity and reducing routing path length. While its benefit...
Gang Wu, Jianli Liu
MLDM
2005
Springer
16 years 1 months ago
Clustering Large Dynamic Datasets Using Exemplar Points
In this paper we present a method to cluster large datasets that change over time using incremental learning techniques. The approach is based on the dynamic representation of clus...
William Sia, Mihai M. Lazarescu
186
Voted
WABI
2005
Springer
16 years 29 days ago
Improved Maintenance of Molecular Surfaces Using Dynamic Graph Connectivity
We present recent developments in efficiently maintaining the boundary and surface area of protein molecules as they undergo conformational changes. As the method that we devised k...
Eran Eyal, Dan Halperin
ASPDAC
2004
ACM
123views Hardware» more  ASPDAC 2004»
16 years 28 days ago
Dynamic voltage scaling of periodic and aperiodic tasks in priority-driven systems
Abstract— We describe dynamic voltage scaling (DVS) algorithms for real-time systems with both periodic and aperiodic tasks. Although many DVS algorithms have been developed for ...
Dongkun Shin, Jihong Kim