Amirhossein Ghamarian
Amirhossein Ghamarian
Phd of computer science, University of Twente
Verifierad e-postadress på asml.com
TitelCiteras avÅr
Throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ...
Sixth International Conference on Application of Concurrency to System …, 2006
2812006
Modelling and analysis using GROOVE
AH Ghamarian, M de Mol, A Rensink, E Zambon, M Zimakova
International journal on software tools for technology transfer 14 (1), 15-40, 2012
1372012
Latency minimization for synchronous data flow graphs
AH Ghamarian, S Stuijk, T Basten, MCW Geilen, BD Theelen
10th Euromicro Conference on Digital System Design Architectures, Methods …, 2007
782007
Parametric throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, T Basten, S Stuijk
2008 Design, Automation and Test in Europe, 116-121, 2008
642008
Liveness and boundedness of synchronous data flow graphs
AH Ghamarian, MCW Geilen, T Basten, BD Theelen, MR Mousavi, ...
2006 Formal Methods in Computer Aided Design, 68-75, 2006
622006
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management
H Shojaei, AH Ghamarian, T Basten, M Geilen, S Stuijk, R Hoes
2009 46th ACM/IEEE Design Automation Conference, 917-922, 2009
592009
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip
S Stuijk, T Basten, M Geilen, AH Ghamarian, B Theelen
Journal of Systems Architecture 54 (3-4), 411-426, 2008
262008
Resource-efficient routing and scheduling of time-constrained network-on-chip communication
S Stuijk, T Basten, M Geilen, AH Ghamarian, B Theelen
9th EUROMICRO Conference on Digital System Design (DSD'06), 45-52, 2006
232006
Scenario-aware dataflow
BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ...
TU Eindhoven, Tech. Rep. ESR-2008–08, 2008
222008
Timing analysis of synchronous data flow graphs
AH Ghamarian
PhD thesis, Eindhoven University of Technology, 2008
202008
Incremental pattern matching in graph-based state space exploration
AH Ghamarian, A Jalali, A Rensink
Electronic Communications of the EASST 32, 2011
192011
FSM-based SADF
S Stuijk, AH Ghamarian, BD Theelen, MCW Geilen, T Basten
Technical report, Eindhoven University of Technology, Department of …, 2008
102008
Incremental pattern matching for regular expressions
A Jalali, A Rensink, AH Ghamarian
Electronic Communications of the EASST 47, 2012
72012
Generalised compositionality in graph transformation
AH Ghamarian, A Rensink
International Conference on Graph Transformation, 234-248, 2012
22012
Graph passing in graph transformation
AH Ghamarian, A Rensink
Electronic Communications of the EASST 47, 2012
12012
Saying Hello World with GROOVE-A Solution to the TTC 2011 Instructive Case
AH Ghamarian, M de Mol, A Rensink, E Zambon
arXiv preprint arXiv:1111.4754, 2011
12011
Time-constrained energy-aware routing and scheduling of network-on-chip communication
S Stuijk, AH Ghamarian, T Basten, M Geilen, B Theelen
Technical Report ESR-2005-08, Eindhoven University of Technology, Department …, 2005
12005
Fourth International Workshop on Graph-Based Tools (GraBaTs 2010)
S Blom, G Kant, A Rensink
Electronic Communications of the EASST 10, 2010
2010
5MC10: Combinatorial Algorithms Function Growth Exercises
AH Ghamarian
2008
Verifying the Leader Election Algorithm in GROOVE
AH Ghamarian, E Zambon
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20