990 search results - page 67 / 198 » A Static Analysis Technique for Graph Transformation Systems |
ICASSP
2011
IEEE
13 years 23 days ago
2011
IEEE
We design two different strategies for computing the unknown content preferences in an online social network based on a small set of nodes in the corresponding social graph for wh...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
INFOVIS
2005
IEEE
14 years 2 months ago
2005
IEEE
The paper describes a novel technique to visualize graphs with extended node and link labels. The lengths of these labels range from a short phrase to a full sentence to an entire...
IEEEPACT
2005
IEEE
14 years 2 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
ICDCIT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...