Sciweavers

4507 search results - page 39 / 902
» Generalized Binet dynamics
Sort
View
IJACTAICIT
2010
155views more  IJACTAICIT 2010»
14 years 7 months ago
Constructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
Jaakko Korpi, Jussi Koskinen
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
14 years 4 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov
TSMC
2010
14 years 4 months ago
A Mobile Decision Support System for Dynamic Group Decision-Making Problems
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
Ignacio Javier Pérez, Francisco Javier Cabr...
BIOINFORMATICS
2011
14 years 1 months ago
ProDy: Protein Dynamics Inferred from Theory and Experiments
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
Ahmet Bakan, Lidio M. Meireles, Ivet Bahar
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 26 days ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie