The set of allowable operations used in computation and their respective costs.
event
Submitted by Anonymous on Wed, 07/22/2020 - 4:29pm
13th International Conference on Graph Transformation (ICGT 2020)
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space graphs, control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, and molecular structures.
event
Submitted by Anonymous on Mon, 03/06/2017 - 12:48pm
27th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS)
25 - 27 September 2017 | Thessaloniki, Greece | http://patmos2017.web.auth.gr
PATMOS is Technically Sponsored by IEEE CASS. The conference proceedings will be included in the IEEE Xplore Digital Library.
forum
Submitted by Anonymous on Mon, 03/06/2017 - 12:13pm
CALL FOR PAPERS
Satellite workshop of 29th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Organised by the Euromicro Technical Committee on Real-Time Systems - ecrts17.ecrts.org
Dubrovnik, Croatia | 27-30th June 2017 | www.cister.isep.ipp.pt/rtsops2017/
event
Submitted by Anonymous on Mon, 03/06/2017 - 12:12pm
8th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2017)
Satellite workshop of 29th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Organised by the Euromicro Technical Committee on Real-Time Systems - ecrts17.ecrts.org
Dubrovnik, Croatia | 27-30th June 2017 | www.cister.isep.ipp.pt/rtsops2017/
forum
Submitted by Anonymous on Mon, 02/20/2017 - 5:39pm
event
Submitted by Anonymous on Mon, 02/20/2017 - 5:39pm
