1357 search results - page 202 / 272 » Compositionality in Graph Transformation |
209
click to vote
RTA
2011
Springer
14 years 6 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
118
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...
147
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
174
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
140
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with...