Sciweavers

1550 search results - page 1 / 310
» Benchmarking for Graph Transformation
Sort
View
VL
2005
IEEE
125views Visual Languages» more  VL 2005»
14 years 1 months ago
Benchmarking for Graph Transformation
Gergely Varró, Andy Schürr, Dán...
JSAT
2006
87views more  JSAT 2006»
13 years 7 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
LCPC
1999
Springer
13 years 11 months ago
An Empirical Study of Function Pointers Using SPEC Benchmarks
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
Ben-Chung Cheng, Wen-mei W. Hwu
IEEEHPCS
2010
13 years 5 months ago
Reducing memory requirements of stream programs by graph transformations
Stream languages explicitly describe fork-join parallelism and pipelines, offering a powerful programming model for many-core Multi-Processor Systems on Chip (MPSoC). In an embedd...
Pablo de Oliveira Castro, Stéphane Louise, ...