211 search results - page 32 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
101
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— The study of the scattering data for a star-shape network of LC-transmission lines is transformed into the scattering analysis of a Schr¨odinger operator on the same graph. Th...
WISEC
2009
ACM
15 years 6 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
108
click to vote
TOG
2008
14 years 11 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
100
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...