40 search results - page 6 / 8 » Loop Summarization Using Abstract Transformers |
88
Voted
COSPS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
IIE
2007
14 years 9 months ago
2007
Abstract. A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the ta...
ICCCN
2008
IEEE
15 years 4 months ago
2008
IEEE
: Recent studies on inter-domain DWDM networks used on topology abstraction for state summarization, i.e., transforming a physical topology to a virtual mesh, tree, or star network...
116
Voted
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...