4507 search results - page 192 / 902 » Generalized Binet dynamics |
146
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
143
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
181
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper addresses the problem of active model selection for nonlinear dynamical systems. We propose a novel learning approach that selects the most informative subset of time-d...
135
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
137
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...