Sciweavers

211 search results - page 6 / 43
» Towards A Shape Analysis for Graph Transformation Systems
Sort
View
CC
2008
Springer
172views System Software» more  CC 2008»
14 years 11 months ago
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
Mark Marron, Manuel V. Hermenegildo, Deepak Kapur,...
SSIAI
2000
IEEE
15 years 1 months ago
Multi-Level Shape Recognition Based on Wavelet-Transform Modulus Maxima
In this paper we propose a new approach to shape recognition based on the wavelet transform modulus maxima. And apply it to the problem of content-based indexing and retrieval of ...
Faouzi Alaya Cheikh, Azhar Quddus, Moncef Gabbouj
RTS
2006
176views more  RTS 2006»
14 years 9 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
DBSEC
2009
124views Database» more  DBSEC 2009»
14 years 10 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
69
Voted
BIRTHDAY
2005
Springer
15 years 3 months ago
Graph Transformation in Molecular Biology
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
Francesc Rosselló, Gabriel Valiente