6960 search results - page 745 / 1392 » Continuity Analysis of Programs |
240
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
— The problem of placing an arbitrary subset (m) of the (n) closed loop eigenvalues of a nth order continuous time single input linear time invariant(LTI) system, using full stat...
225
click to vote
JMLR
2012
13 years 9 months ago
2012
Constructing tractable dependent probability distributions over structured continuous random vectors is a central problem in statistics and machine learning. It has proven diffic...
193
click to vote
IPPS
2005
IEEE
16 years 25 days ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
212
click to vote
VL
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
173
click to vote
APLAS
2005
ACM
16 years 24 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...