1690 search results - page 14 / 338 » Algorithmic Properties of Millstream Systems |
106
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
108
click to vote
CGF
2005
15 years 2 months ago
2005
The concept of tiled displays can be successful only if such displays are made to look like a single display perceptually. The two issues that need to be solved to achieve this go...
105
click to vote
ESOP
1990
Springer
15 years 7 months ago
1990
Springer
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
131
click to vote
STTT
2008
15 years 2 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
112
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...