211 search results - page 20 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
106
Voted
ICAS
2006
IEEE
15 years 5 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
121
click to vote
ISDA
2009
IEEE
15 years 6 months ago
2009
IEEE
—Protein binding sites are often represented by means of graphs capturing their most important geometrical and physicochemical properties. Searching for structural similarities a...
102
click to vote
WSC
2007
15 years 2 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...